scientific article; zbMATH DE number 5851813
From MaRDI portal
Publication:3075442
Recommendations
- scientific article; zbMATH DE number 3216186
- Realizability and intuitionistic logic
- Generalized Realizability and Basic Logic
- Verificationism and Classical Realizability
- Classical and relative realizability
- Actuality in intuitionistic logic
- A semantics of realisability for the classical propositional natural deduction
- A Generalized Realizability and Intuitionistic Logic
- Modified realizability and predicate logic
Cited in
(51)- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Classical realizability in the CPS target language
- A realizability interpretation for classical analysis
- Dependent choice, `quote' and the clock
- Quantitative classical realizability
- Realizability models for a linear dependent PCF
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
- A Classical Realizability Model for a Semantical Value Restriction
- Specifying Peirce's law in classical realizability
- A classical sequent calculus with dependent types
- A Survey of Classical Realizability
- Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
- Realizability algebras: a program to well order \(\mathbb R\)
- Verificationism and Classical Realizability
- Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
- Classical proofs as parallel programs
- Realizability for Peano arithmetic with winning conditions in HON games
- Interaction graphs: graphings
- Typed realizability for first-order classical analysis
- scientific article; zbMATH DE number 2051381 (Why is no real title available?)
- Codensity lifting of monads and its dual
- Relational graph models at work
- Realizability algebras III: some examples
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Realizability in ordered combinatory algebras with adjunction
- Hybrid realizability for intuitionistic and classical choice
- scientific article; zbMATH DE number 7393562 (Why is no real title available?)
- Proving termination of evaluation for system F with control operators
- Game semantics and the geometry of backtracking: a new complexity analysis of interaction
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- The true concurrency of Herbrand's theorem
- Implicative algebras: a new foundation for realizability and forcing
- Classical realizability as a classifier for nondeterminism
- A program for the full axiom of choice
- On the structure of classical realizability models of ZF
- scientific article; zbMATH DE number 3216186 (Why is no real title available?)
- Constructive forcing, CPS translations and witness extraction in interactive realizability
- Classical realizability and arithmetical formulæ
- Stateful Realizers for Nonstandard Analysis
- Zeta functions and the (linear) logic of Markov processes
- Resource approximation for the -calculus
- A quick overview on the quantum control approach to the lambda calculus
- Implicative models of set theory
- Fixpoint constructions in focused orthogonality models of linear logic
- Realizability with stateful computations for nonstandard analysis
- Realizability models for large cardinals
- Herbrand schemes for cyclic proofs
- A contextual formalization of structural coinduction
- A compositional theory of Krivine's classical realisability
- Linear realisability over nets: multiplicatives
- Well-foundedness in realizability
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 Q3075442)
