First Page | Document Content | |
---|---|---|
Date: 2012-08-03 13:27:17Lambda 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 UniversityAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 467,39 KBShare Document on Facebook |