
15816 Substructural Logics

Out  Assignment  Reference  Due  



Sep  6 
L1.3 (hamiltonian cycle), L1.6 (blocks world invariant), L1.7 (truman quote), L2.2 (parity), L2.4 (post correspondence problem), L2.6 (currying/distributivity laws) 
LaTeX Support  Tue  Sep  13 
Sep  13 
L3.3 (* connective), L3.4 (# connective), L3.5.13 (twist), L4.5.1 (principal fuse case), L4.5.4 (right commutative /L cases), L4.6 (\L*) 
Tue  Sep  20  
Sep  20 
L5.2 (computing parity, revisited), L5.4 (dual representation of FSTs), L6.1.1 (preservation for 1C), L6.2 (inc on standard binary representations) 
Tue  Sep  27  
Oct  4 
L8.2 (cons'), L9.1 (alternative implementation of stacks), L10.2 (mapper), Optional: L10.3 (folder) 
Tue  Oct  11  
Oct  20 
L12.2 (monad), L12.3 (cut reduction for down), L12.4 (coercions), L13.1 (asynchronous \L*), L13.4 (buffer sizes, parts 16) 
Thu  Oct  27  
Nov  4  Assignment 6  Tue  Nov  15  
Nov  18  Assignment 7  Thu  Dec  1 
[ Home  Schedule  Assignments  Resources ]
fp@cs
Frank Pfenning