| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | Axiomatic System Design.pdf | 2022-02-22 06:24 | 1224 KB |
| Proofs and Types - Jean-Yves Girard, 1989.pdf | 2022-02-22 06:24 | 947 KB |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | ||
| Axiomatic System Design.pdf | 2022-02-22 06:24 | 1224 KB |
| Proofs and Types - Jean-Yves Girard, 1989.pdf | 2022-02-22 06:24 | 947 KB |