Back to Results
First PageMeta Content
Lambda calculus / Anonymous function / Currying / Simply typed lambda calculus / Type theory / Function / Combinatory logic / Partial application


simply typed λ-calculus logical verification week
Add to Reading List

Document Date: 2004-12-15 12:39:12

Open Document

File Size: 73,76 KB

Share Result on Facebook