A Compositional Theory of Krivine’s Classical Realisability
Book chapter in Lecture Notes in Computer Science (June 2024)
The most recent citing publications are shown below. View all 28 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (June 2024)
Article in Notre Dame Journal of Formal Logic (May 2024)
Preprint in arXiv (April 2024)