Radboud Repository
→
Collections Radboud University
→
Non RU Publications
→
Browsing Non RU Publications by Faculty & Departments

Browse by Faculty & Departments

Now showing items 1-8 of 8

Untyped lambda-calculus, Typed lambda-calculus, sections 32 and 33
Geuvers, J.H. ; Nederpelt, R.P.
1994, Part of book or chapter of book (de Swart, H. (ed.), Logic: Mathematics, Language, Computer Science and Philosophy, pp. 132-199)
The Church-Rosser property for βη-reduction in typed λ-calculi
Geuvers, J.H.
1992, Article in monograph or in proceedings (Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, LICS '92, 22-25 June, Santa Cruz, CA, USA, pp. 453-460)
The Calculus of Constructions and Higher Order Logic
Geuvers, J.H.
1995, Part of book or chapter of book (Groote, P. de (ed.), The Curry-Howard isomorphism, pp. 139-191)
Proof by Computation in the Coq system
Oostdijk, M.D. ; Geuvers, J.H.
2002, Article / Letter to editor (Theoretical Computer Science, vol. 272, iss. 1-2, (2002), pp. 293-314)
Modularity of strong normalization and confluence in the algebraic-λ-cube
Barbanera, F.; Fernandez, M.; Geuvers, J.H.
1994, Article in monograph or in proceedings (Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings, pp. 406-415)
Modular Proof of Strong Normalization for the Calculus of Constructions
Geuvers, J.H. ; Nederhof, MJ
1991, Article / Letter to editor (Journal of Functional Programming, vol. 1, iss. 2, (1991), pp. 155-189)
Inductive and Coinductive Types with Iteration and Recursion
Geuvers, J.H.
1992, Article in monograph or in proceedings (Nordstrom, B. (ed.), Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad June 1992, Sweden, pp. 183-207)
Conservativity between logics and typed λ calculi
Geuvers, J.H.
1994, Part of book or chapter of book (Barendregt, H.; Nipkow, T. (ed.), Types for Proofs and Programs, pp. 79-107)

Now showing items 1-8 of 8

Search Repository

Browse

All of Repository
This Collection

Radboud Repository

Browse by Faculty & Departments

Search Repository

Browse

All of Repository

This Collection