![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| focusing.jpg | 2022-04-28 17:51 | 1.6M | |
| board/ | 2022-04-28 17:51 | - | |
| 26-review.jpg | 2022-04-28 17:51 | 3.5M | |
| 25-queues.pdf | 2022-04-28 17:51 | 162K | |
| 24-opap.pdf | 2022-04-28 17:51 | 163K | |
| 23-subsingleton.pdf | 2022-04-28 17:51 | 179K | |
| 22-odecide/ | 2022-04-28 17:51 | - | |
| 21-ordered.pdf | 2022-04-28 17:51 | 187K | |
| 20-substructural-ded..> | 2022-04-28 17:51 | 179K | |
| 20-linear.pdf | 2022-04-28 17:51 | 198K | |
| 19-focusing.pdf | 2022-04-28 17:51 | 127K | |
| 18-datalog.pdf | 2022-04-28 17:51 | 210K | |
| 17-chaining/ | 2022-04-28 17:51 | - | |
| 17-chaining.pdf | 2022-04-28 17:51 | 170K | |
| 16-lptypes.pdf | 2022-04-28 17:51 | 150K | |
| 15-prolog/ | 2022-04-28 17:51 | - | |
| 15-prolog.pdf | 2022-04-28 17:51 | 159K | |
| 14-lp.pdf | 2022-04-28 17:51 | 214K | |
| 13-certifying.pdf | 2022-04-28 17:51 | 160K | |
| 12-inversion.pdf | 2022-04-28 17:51 | 150K | |
| 11-proving.pdf | 2022-04-28 17:51 | 144K | |
| 11-classical.pdf | 2022-04-28 17:51 | 207K | |
| 10-cutelim.pdf | 2022-04-28 17:51 | 162K | |
| 09-seqcalc.pdf | 2022-04-28 17:51 | 177K | |
| 08-heyting.pdf | 2022-04-28 17:51 | 176K | |
| 07-induction.sml | 2022-04-28 17:51 | 2.3K | |
| 07-induction.pdf | 2022-04-28 17:51 | 166K | |
| 06-quant.pdf | 2022-04-28 17:51 | 159K | |
| 05-intercalation.pdf | 2022-04-28 17:51 | 127K | |
| 04-harmony.pdf | 2022-04-28 17:51 | 150K | |
| 03-pap.pdf | 2022-04-28 17:51 | 152K | |
| 02-natded.pdf | 2022-04-28 17:51 | 149K | |
| 01-overview.pdf | 2022-04-28 17:51 | 159K | |