5 results
Implicative algebras: a new foundation for realizability and forcing
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 5 / May 2020
- Published online by Cambridge University Press:
- 03 July 2020, pp. 458-510
-
- Article
- Export citation
Ordered combinatory algebras and realizability†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 3 / March 2017
- Published online by Cambridge University Press:
- 10 September 2015, pp. 428-458
-
- Article
- Export citation
Specifying Peirce's law in classical realizability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 7 / October 2016
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1269-1303
-
- Article
- Export citation
Commitment, Enjoyment and Motivation in Young Soccer Competitive Players
-
- Journal:
- The Spanish Journal of Psychology / Volume 13 / Issue 2 / November 2010
- Published online by Cambridge University Press:
- 10 January 2013, pp. 609-616
-
- Article
- Export citation
The λ-calculus with constructors: Syntax, confluence and separation
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 581-631
-
- Article
-
- You have access
- Export citation