8 results
On generalized algebraic theories and categories with families
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 18 October 2021, pp. 1006-1023
-
- Article
-
- You have access
- Open access
- Export citation
5 - Extensions
- from Part I - Simple Types λA→
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 243-322
-
- Chapter
- Export citation
A simple proof of the undecidability of inhabitation in λP
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 757-761
-
- Article
-
- You have access
- Export citation
Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. A modern perspective on type theory—From its origins until today. Applied Logic Series, vol. 29. Kluwer Academic Publishers, Dordrecht, 2004, xiv + 357 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 296-297
- Print publication:
- June 2006
-
- Article
- Export citation
On the computational content of the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-622
- Print publication:
- June 1998
-
- Article
- Export citation
Compact and majorizable functionals of finite type
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-280
- Print publication:
- March 1989
-
- Article
- Export citation
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-660
- Print publication:
- September 1985
-
- Article
- Export citation
Isomorphisms between HEO and HROE, ECF and ICFE
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-371
- Print publication:
- June 1985
-
- Article
- Export citation