Model of computation - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2002-07-31 04:29:42 Mathematical logic Models of computation Theoretical computer science Model theory Logic in computer science Monad Denotational semantics Kleisli category Lambda calculus Mathematics Adjoint functors Software engineering		Add to Reading List Source URL: www.disi.unige.it Download Document from Source Website File Size: 269,38 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