Realizability: a historical essay
Jaap van Oosten · Mathematical Structures in Computer Science · 2002
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.