![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Audun-Holme-Basic-Modern-Algebraic-Geometry.pdf | 2016-02-28 12:09 | 495K | |
| Baez-Lectures-on-n-Categories.pdf | 2016-02-28 12:09 | 551K | |
| Leinster-Basic-Category-Theory.pdf | 2016-09-28 21:17 | 710K | |
| Peter-May-A-Concise-Course-In-Algebraic-Topology.pdf | 2016-02-28 12:10 | 1.6M | |
| Selinger-Lambda-Calculus-Notes.pdf | 2016-09-28 21:17 | 652K | |
| categorical-semantics-of-linear-logic.pdf | 2016-02-28 12:10 | 11M | |
| proofs-and-types.pdf | 2016-02-28 12:11 | 724K | |