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