What people are saying - Write a review
We haven't found any reviews in the usual places.
Lambda Calculus and Programming
38 other sections not shown
Other editions - View all
A-calculus abstract interpretation algebra algorithm application arity atomic axioms bisimulation calculus call-by-value clause closure complete Computer Science conservative extension consider constraints construction constructor context core-ML corresponding database Datalog decorated skeleton defined definition denotational semantics denote dense order derivation diagram domain encoding equivalence class evaluation example expression extension finite formula free variables fully abstract function given goal induction hypothesis infinite interpretation intersection labelled lambda Lambda Calculus Lemma Linear Logic mapping metric space node normal form notion objects operational semantics pair PCFn polymorphic problem Proc Programming Languages proof Proposition prove query recursive types redex relation result rewrite rules rewriting systems sequence structure subset substitution subterms subtyping symbols syntactic syntax term rewriting term rewriting systems Theorem theory tion transition translation tree tuple type assignment type inference type schemes type system unification verification