Wadsworth, Christopher P. Semantics and Pragmatics of The Lambda Calculus. PhD thesis, University of Oxford (1971). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Sharing of Computations - Amtoft (1993) (1 citation) (Correct)
Flow Analysis: Games and Nets - Hankin, Nagarajan, Sampath (Correct)
Properties of a First-order Functional Lanuage with Sharing.. - Ariola, Arvind (1994) (Correct)
A Framework for Defining Object-Calculi - Lang, Lescanne, Liquori (1999) (2 citations) (Correct)
A Generic Object-Calculus Based on Addressed Term.. - Dougherty, Lang.. (2001) (Correct)
Flow Analysis: Games and Nets (Extended Abstract) - Hankin, Nagarajan, Sampath (2002) (Correct)
A chemical machine for graph reduction (Extended abstract) - Jeffrey (1993) (Correct)
Modeling Sharing and Recursion for Weak Reduction.. - Zine-El-Abidine.. (Correct)
Concurrent and Distributed Functional Systems - Spiliopoulou (1999) (Correct)
Lightweight Lemmas in Lambda Prolog (Extended Version) - Appel, Felty (1999) (Correct)
Zig-zag, Extraction and Separable Families in.. - Khasidashvili, Glauert (Correct)
Lambda Calculus with Explicit Recursion - Ariola, Klop (1996) (18 citations) (Correct)
Explicit Substitutions - Abadi, Cardelli, Curien, Lévy (1991) (91 citations) (Correct)
Efficient Shared-Memory Support for Parallel Graph Reduction - Bennett, Kelly (1996) (Correct)
On Bunched Typing - O'Hearn (2000) (Correct)
A Generic Object-Calculus Based on Addressed Term.. - Dougherty, Lang.. (1999) (Correct)
A Theory of Bisimulation for the pi-calculus - Sangiorgi (1993) (3 citations) (Correct)
Lightweight Lemmas in Lambda Prolog - Appel, Felty (1999) (Correct)
Compilation of Head and Strong Reduction - Fradet (Correct)
Compiling with Proofs - Necula (1998) (23 citations) (Correct)
LISP AND SYMBOLIC COMPUTATION: An International.. - Call-By-Need And.. (Correct)
Typed -Calculi With Explicit Substitutions May - Not Terminate Paul-Andr'e (Correct)
Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (1 citation) (Correct)
Compilation of Functional Languages Using Flow Graph Analysis - Hartel, Glaser, Wild (1994) (3 citations) (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