Sarah - computational logic

resources

• Computational interpretations of linear logic" (Abramsky, 1993)
• Practical Foundations for Programming Languages, Robert Halper | twelf
• Software Foundations, Pierce et all, UPenn, (Coq)
• workshops
• people
• background

diary

• Sep 17
• Sep 24
• Oct 1
• Oct 8
• Oct 15
• Nov 5
• Nov 12
• Nov 19
• Nov 26
• Dec 3
• Dec 10

folders

• protected