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


Document Date: 2002-09-05 11:33:14

Open Document

File Size: 170,51 KB

Share Result on Facebook
UPDATE