1. Abramsky S. Domain theory and the logic of observable properties. PhD thesis. University of London; 1987
2. Abramsky S. A structural approach to reversible computation; 2001
3. Geometry of interaction and linear combinatory algebras;Abramsky;Mathematical Structures in Computer Science,2002
4. Kolmogorov's logic of problems and a provability interpretation of intuitionistic logic;Artemov,1990
5. The lambda calculus;Barendregt,1984