<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-02-14 20:56:25Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur |
Add to Reading List |
Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom  | 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 2007](https://www.pdfsearch.io/img/44f3c997f6543eb394476f841900d5e5.jpg "ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007") | 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 |