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 | ||