Introduction to higher order categorical logic
Introduction to higher order categorical logic
Proceedings of the Fourth Annual Symposium on Logic in computer science
Algebraic set theory
A Categorical Approach to Realizability and Polymorphic Types
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Modified Realizability Toposes and Strong Normalization Proofs
TLCA '93 Proceedings of the International Conference on Typed Lambda Calculi and Applications
Type Theory via Exact Categories
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science
Variations on realizability: realizing the propositional axiom of choice
Mathematical Structures in Computer Science
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Realizability and parametricity in pure type systems
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
On Realisability Semantics for Intersection Types with Expansion Variables
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
| Hi-index | 0.00 |
The purpose of this short paper is to sketch the development of a few basic topics in the history of realizability. The number of topics is quite limited and reflects very much my own personal taste, prejudices and area of competence.