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