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

First Page		Document Content
Date: 2012-08-03 13:27:17 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 Source URL: www.kestrel.edu Download Document from Source Website File Size: 467,39 KB Share Document on Facebook

	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	207 Documenta Math. Acyclicity Versus Total Acyclicity for Complexes over Noetherian Rings DocID: 1rozM - View Document
	ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007 DocID: 1rnm6 - View Document
	879 Documenta Math. Rectification of Algebras and Modules Vladimir Hinich DocID: 1rdIB - View Document
	193 Documenta Math. On the Structure of Calabi-Yau Categories with a Cluster Tilting Subcategory DocID: 1r84m - View Document