Back to Results
First PageMeta Content
Type theory / Lambda calculus / Predicate logic / Logic programming / Higher-order abstract syntax / Unification / Free variables and bound variables / Simply typed lambda calculus / Hindley–Milner / Mathematics / Theoretical computer science / Mathematical logic


Higher-Order Abstract Syntax∗ Frank Pfenning†
Add to Reading List

Document Date: 2001-01-03 16:03:41

Open Document

File Size: 147,79 KB

Share Result on Facebook
UPDATE