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