<--- Back to Details
First PageDocument 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
Date: 2002-09-05 11:33:14
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 is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 170,51 KB