Back to Results
First PageMeta Content
Lambda calculus / Type theory / Logic programming / Formal methods / Unification / Higher-order abstract syntax / Function / Hindley–Milner / Free variables and bound variables / Mathematics / Software engineering / Theoretical computer science


αProlog User’s Guide & Language Reference Version 0.3 DRAFT
Add to Reading List

Document Date: 2004-10-28 08:33:38

Open Document

File Size: 137,23 KB

Share Result on Facebook
UPDATE