Ordered combinatory algebras and realizability
From MaRDI portal
Publication:2973254
DOI10.1017/S0960129515000432zbMath1423.03053arXiv1410.5034OpenAlexW2963271462MaRDI QIDQ2973254
Jonas Frey, Alexandre Miquel, Octavio Malherbe, Mauricio German Guillermo, Walter Ricardo Ferrer Santos
Publication date: 3 April 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.5034
Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)
Related Items (2)
On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Implicative algebras: a new foundation for realizability and forcing
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lectures on the Curry-Howard isomorphism
- Realizability. An introduction to its categorical side
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus
- Dependent choice, `quote' and the clock
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- A 2-Categories Companion
- All realizability is relative
- Tripos theory
- Adjointness in Foundations
- Ordered partial combinatory algebras
- Continuous Lattices and Domains
- Krivine's classical realisability from a categorical perspective
- Iterated realizability as a comma construction
- On the interpretation of intuitionistic number theory
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
This page was built for publication: Ordered combinatory algebras and realizability