Karl Crary (crary-k)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Constable, Robert L. and Crary, Karl. 2002. “Computational Complexity and Induction for Partial Computable Functions in Type Theory.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 164–181. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.