×

Found 2 Documents (Results 1–2)

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).
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field

Software