Randomising realizability
From MaRDI portal
Publication:2117768
DOI10.1007/978-3-030-80049-9_8OpenAlexW4233132981MaRDI QIDQ2117768
Robert Paßmann, Lorenzo Galeotti, Merlin Carl
Publication date: 22 March 2022
Full work available at URL: https://arxiv.org/abs/2101.12656
Cites Work
- Unnamed Item
- Descriptive set theory
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Algorithmic Randomness and Complexity
- Recursive Functions and Intuitionistic Number Theory
- On the interpretation of intuitionistic number theory
- Realizability: a historical essay
This page was built for publication: Randomising realizability
