Back to Results
First PageMeta Content
Lambda calculus / Theoretical computer science / Mathematical logic / Declarative programming / Adjoint functors / Anonymous function / Type theory / Lambda lifting


Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University
Add to Reading List

Document Date: 2012-08-03 13:27:17


Open Document

File Size: 467,39 KB

Share Result on Facebook