Hendrik P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1984. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Compilation of Combinatory Reduction Systems - Kahrs (1993) (4 citations) (Correct)
Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer (1996) (25 citations) (Correct)
Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer (1996) (25 citations) (Correct)
Higher-Order Rewrite Systems and their Confluence - Mayr, Nipkow (1994) (33 citations) (Correct)
Higher-Order Narrowing with Convergent Systems - Prehofer (1995) (2 citations) (Correct)
Higher-Order Narrowing - Prehofer (1994) (11 citations) (Correct)
Model Existence for Higher Order Logic - Benzmüller, Kohlhase (2000) (Correct)
Polymorphic Type Checking by Interpretation of Code - Kahrs (1992) (Correct)
Polymorphic Type Checking by Interpretation of Code - Stefan Kahrs (1992) (Correct)
Decidable Higher-Order Unification Problems - Prehofer (1994) (9 citations) (Correct)
A Call-by-Need Strategy for Higher-Order Functional-Logic.. - Prehofer (1995) (7 citations) (Correct)
Higher-Order Rewrite Systems and their Confluence - Mayr, Nipkow (33 citations) (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
Basic Research in Computer Science - On The Recursive (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
Higher-Order Narrowing with Convergent - Systems Christian Prehofer (1995) (Correct)
Higher-Order Narrowing - Christian Prehofer Institut (1994) (11 citations) (Correct)
Higher-Order Narrowing with Definitional Trees - Michael Hanus And (1996) (25 citations) (Correct)
A Bisimulation for the Blue Calculus - Dal-Zilio (1999) (1 citation) (Correct)
Some Applications of Functional-Logic Programming - Prehofer (1996) (1 citation) (Correct)
An Adequate Left-Associated Binary Numeral System in the.. - Goldberg (1995) Self-citation (Calculus) (Correct)
An Adequate Left-Associated Binary Numeral System in the.. - Goldberg (1996) Self-citation (Calculus) (Correct)
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Dal-Zilio (1999) Self-citation (Calculus) (Correct)
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