scientific article; zbMATH DE number 3726339
From MaRDI portal
Publication:3914980
Cited in
(14)- Constructing type systems over an operational semantics
- Direct spectra of Bishop spaces and their limits
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- scientific article; zbMATH DE number 7561488 (Why is no real title available?)
- An intuitionistic theory of types with assumptions of high-arity variables
- Constructive system for automatic program synthesis
- Proof-relevance in Bishop-style constructive mathematics
- An algebraic generalization of Frege structures -- binding algebras
- Kleene computable functionals and the higher order existence property
- Defining concurrent processes constructively
- Weak logic theory
- Understanding uniformity in Feferman's explicit mathematics
- The double negation of the intermediate value theorem
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3914980)
