scientific article
From MaRDI portal
Publication:2852343
zbMath1273.03144MaRDI QIDQ2852343
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001861
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Other constructive mathematics (03F65) General topics in the theory of computing (68Q01) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (8)
Parametric Church's thesis: synthetic computability without choice ⋮ On fixed-point theorems in synthetic computability ⋮ Weak call-by-value lambda calculus as a model of computation in Coq ⋮ Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) ⋮ Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version ⋮ Type-theoretic approaches to ordinals ⋮ Metric spaces in synthetic topology ⋮ Call-by-value lambda calculus as a model of computation in Coq
This page was built for publication:
