scientific article; zbMATH DE number 3360145
From MaRDI portal
Publication:5633977
zbMath0227.02015MaRDI QIDQ5633977
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Axiomatizing higher-order Kleene realizability ⋮ Realizability and recursive set theory ⋮ Extensional realizability ⋮ Polymorphic type inference and containment ⋮ The machinery of consistency proofs ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Constructive system for automatic program synthesis ⋮ Proof normalization with nonstandard objects ⋮ On specifications, subset types and interpretation of proposition in type theory ⋮ Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen ⋮ Unnamed Item ⋮ On Kreisel's notion of validity in Post systems ⋮ Logical problems of functional interpretations ⋮ Analyzing realizability by Troelstra's methods ⋮ Theory of proofs (arithmetic and analysis) ⋮ A categorical reading of the numerical existence property in constructive foundations
This page was built for publication:
