First Page | Document Content | |
---|---|---|
![]() Date: 2002-09-05 11:33:14Lambda 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 is deleted from original location. Download Document from Web Archive |