scientific article
From MaRDI portal
Publication:3914980
zbMath0464.03050MaRDI QIDQ3914980
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Proof-relevance in Bishop-style constructive mathematics ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ Kleene computable functionals and the higher order existence property ⋮ Direct spectra of Bishop spaces and their limits ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ The double negation of the intermediate value theorem ⋮ Constructive system for automatic program synthesis ⋮ An intuitionistic theory of types with assumptions of high-arity variables ⋮ Constructing type systems over an operational semantics ⋮ Weak logic theory ⋮ Unnamed Item ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Defining concurrent processes constructively
This page was built for publication:
