Index of /~fp/courses/15317-f17/lectures

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 01-overview.pdf         01-Sep-2017 16:47  158K  
 02-natded.pdf           01-Sep-2017 16:47  147K  
 03-pap.pdf              08-Sep-2017 17:33  152K  
 04-harmony.pdf          08-Sep-2017 18:34  150K  
 05-intercalation.pdf    18-Sep-2017 20:27  127K  
 06-quant.pdf            25-Sep-2017 08:00  159K  
 07-induction.pdf        20-Sep-2017 21:59  166K  
 07-induction.sml        20-Sep-2017 22:06  2.3K  
 08-heyting.pdf          28-Sep-2017 09:58  176K  
 09-seqcalc.pdf          04-Oct-2017 14:57  177K  
 10-cutelim.pdf          10-Oct-2017 09:02  162K  
 11-proving.pdf          12-Oct-2017 08:56  144K  
 12-inversion.pdf        12-Oct-2017 15:20  150K  
 13-certifying.pdf       22-Oct-2017 22:17  160K  
 14-lp.pdf               24-Oct-2017 20:53  214K  
 15-prolog.pdf           27-Oct-2017 12:39  159K  
 15-prolog/              27-Oct-2017 12:40    -   
 16-lptypes.pdf          09-Nov-2017 15:16  150K  
 17-chaining.pdf         07-Nov-2017 09:57  170K  
 17-chaining/            02-Nov-2017 11:44    -   
 18-datalog.pdf          12-Nov-2017 10:47  210K  
 19-focusing.pdf         11-Nov-2017 20:12  127K  
 20-substructural-ded..> 15-Nov-2017 14:23  179K  
 21-ordered.pdf          17-Nov-2017 00:10  187K  
 22-odecide/             22-Nov-2017 11:34    -   
 23-subsingleton.pdf     30-Nov-2017 18:56  179K  
 24-opap.pdf             06-Dec-2017 12:45  163K  
 25-queues.pdf           06-Dec-2017 12:51  162K  
 26-review.jpg           08-Dec-2017 10:45  3.5M  
 focusing.jpg            09-Nov-2017 11:12  1.6M