scientific article; zbMATH DE number 3342819
From MaRDI portal
Publication:5619069
zbMath0216.00501MaRDI QIDQ5619069
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Reflections on a Theorem of Henkin ⋮ On the syntax of Martin-Löf's type theories ⋮ Linear Läuchli semantics ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ Intuitionistic completeness of first-order logic ⋮ Intuitive counterexamples for constructive fallacies ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Recursive programming with proofs ⋮ A semantic characterization of the well-typed formulae of \(\lambda\)- calculus ⋮ The typed lambda-calculus is not elementary recursive ⋮ From constructivism to computer science ⋮ \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic ⋮ Realizability and intuitionistic logic ⋮ Kripke-style models for typed lambda calculus ⋮ A characterization of the left exact categories whose exact completions are toposes
This page was built for publication:
