Isabelle Seminar

Slides and Theories

• [slides] [notes] [Lambda.thy] [Sem01.thy]
  
• [slides] [Sem02.thy]
  
• [slides] [Sem03.thy] [notes]
  
• [slides] [Sem04.thy]
  
• [slides] [Sem05.thy]
  
• [slides]
• [slides]
• Lecture by Robert Dockins on Separation Algebras
• Lecture by Andrew Appel on Higher-Order Separation Algebras
• [slides]