H. P. Barendregt. Lambda calculi with types. Handbook of logic in computer science (vol. II), pages 117--309, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Important Issues in Foundational Formalisms - Fairouz Kamareddine April (Correct)
A reduction relation for which postponement of.. - Fairouz Kamareddine.. (1996) (3 citations) (Correct)
Beyond fi-Reduction in Church's ! - Roel Bloo Department (Correct)
Type Systems for the Object-Oriented Paradigm - Bono (1999) (1 citation) (Correct)
Important Issues in Foundational Formalisms - Kamareddine (1995) (Correct)
A Useful Lambda-Notation - Kamareddine, Nederpelt (1996) (1 citation) (Correct)
The Lambda-Cube With Classes Which Approximate.. - Bloo, Kamareddine.. (1995) (Correct)
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (1 citation) (Correct)
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (1 citation) (Correct)
A Termination Ordering for Higher Order Rewrite Systems - Lysne, Piris (1995) (18 citations) (Correct)
Comparing Cubes - van Bakel, Liquori, Rocca, Urzyczyn (Correct)
Reviewing the classical and the de Bruijn notation for.. - Kamareddine (2001) (Correct)
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (1 citation) (Correct)
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (1 citation) (Correct)
Inductive Data Type Systems: Strong Normalization - Jouannaud, Okada (1997) (1 citation) (Correct)
Second-order unification and type inference for Church-style.. - Schubert (1998) (7 citations) (Correct)
A Syntactical Analysis of Normalization - Khasidashvili, Piperno (Correct)
Certified Higher-Order Recursive Path Ordering Adam Koprowski - Eindhoven University Of (Correct)
A Formalization of the Simply Typed Lambda - Calculus In Coq (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
Generalized Fi-Reduction and Explicit Substitutions - Fairouz Kamareddine And (Correct)
Term Reshuffling in the Barendregt Cube - Roel Bloo Fairouz Self-citation (Barendregt) (Correct)
Canonical typing and Π-conversion - Kamareddine, Nederpelt (1997) Self-citation (Barendregt) (Correct)
The Barendregt Cube with Definitions and Generalised Reduction - Bloo, Kamareddine (1996) (7 citations) Self-citation (Barendregt) (Correct)
A Two-Level Approach towards Lean Proof-Checking - Barthe, Ruys, Barendregt (1996) (8 citations) Self-citation (Barendregt) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC