Constable, Robert L.; Crary, Karl Computational complexity and induction for partial computable functions in type theory. (English) Zbl 1016.03044 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 164-181 (2002). Reviewer: U.Schöning (Ulm) MSC: 03D65 03D15 03F35 03B70 PDFBibTeX XMLCite \textit{R. L. Constable} and \textit{K. Crary}, Lect. Notes Log. 15, 164--181 (2002; Zbl 1016.03044)
Crary, Karl Admissibility of fixpoint induction over partial types. (English) Zbl 0924.03019 Kirchner, Claude (ed.) et al., Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1421, 270-285 (1998). MSC: 03B35 PDFBibTeX XMLCite \textit{K. Crary}, Lect. Notes Comput. Sci. 1421, 270--285 (1998; Zbl 0924.03019)