Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
The complete list of RTA open problems - Date April Summary Self-citation (Calculus) (Correct)
No context found.
Henk Barendregt. The Lambda Calculus, its Syntax and Semantics. North-Holland, Amsterdam, second edition, 1984.
A Simply Typed Context Calculus with First-Class Environments - Sato, Sakurai, Kameyama (2002) (4 citations) Self-citation (Calculus) (Correct)
No context found.
H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1981.
Confluence of the BSλ-calculus - Loulergue (1999) Self-citation (Calculus) (Correct)
No context found.
H.P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1986.
A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984.
Beta-Reduction As Unification - Kfoury (1996) (8 citations) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984.
Restricted intersection type assignment systems and object.. - de'Liguoro (2002) (Correct)
No context found.
H.P. Barendregt, The Lambda Calculus, Its Syntax and Semantics, 2nd ed. North-Holland 1984. 9
A Linearization of the Lambda-Calculus and Consequences - Kfoury (2000) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, North-Holland, Amsterdam, 1984.
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
No context found.
Henk Barendregt. The lambda calculus. Its syntax and semantics. North-Holland, Amsterdam, revised edition, 1984.
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (11 citations) (Correct)
No context found.
H. Barendregt. The Lambda Calculus, its Syntax and Semantics. North Holland, Second edition, 1984.
A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984.
Beta-Reduction As Unification - Kfoury (1996) (8 citations) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984. 31
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
No context found.
H. P. Barendregt. The lambda calculus, its syntax and semantics. North Holland, Amsterdam, Amsterdam, The Netherlands, 1984.
Rule-based Deduction and Views in Mathematica - Marin, Piroi (2003) (Correct)
No context found.
Henk Barendregt. The Lambda Calculus, its Syntax and Semantics, volume 90. North Holland, second edition, 1984.
Beta-Reduction As Unification - Kfoury (1996) (8 citations) (Correct)
No context found.
Barendregt, H.P., The Lambda Calculus, Its Syntax and Semantics, revised edition, NorthHolland, Amsterdam, 1984.
Compositionality in Functional Bulk Synchronous Parallelism - Loulergue (2002) (Correct)
No context found.
H.P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1986. 13
Combining Type Disciplines - Cardone De' Liguoro (1994) (1 citation) (Correct)
No context found.
H. P. Barendregt. The Lambda Calculus. Its Syntax and Semantics. North-Holland, 1984.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
H. P. Barendregt. The Lambda Calculus. Its Syntax and Semantics. Revised edition, North-Holland, 1984.
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (1 citation) (Correct)
No context found.
H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, revised edition, 1984.
Strict Geometry of Interaction Graph Models - Furio Honsell Marina (2003) (Correct)
No context found.
H.Barendregt. The Lambda Calculus, its Syntax and Semantics, North Holland, Amsterdam, 1984.
"Wave-style" Geometry of Interaction Models in Rel are.. - Honsell, Lenisa (Correct)
No context found.
H.Barendregt. The Lambda Calculus, its Syntax and Semantics, North Holland, Amsterdam, 1984.
Typeful Programming - Luca Cardelli Digital (1989) (77 citations) (Correct)
No context found.
H.P.Barendregt: The lambda-calculus, its syntax and semantics, North-Holland 1985.
The Revised VLISP PreScheme Front End - Ramsdell (1993) (1 citation) (Correct)
No context found.
H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, revised edition, 1984.
Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (1 citation) (Correct)
No context found.
Barendregt, H.P.: The Lambda Calculus. Its Syntax and Semantics. North-Holland (1984).
BSλ_p: Functional BSP Programs on Enumerated Vectors - Loulergue (2000) (Correct)
No context found.
H.P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1986.
A Veri ed Compiler for Multithreaded PreScheme - William Farmer John (Correct)
No context found.
Henk P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, revised edition, 1984.
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