CM 500: Logical Frameworks

Welcome to the class!

Read the syllabus.

Schedule for 2024 Jan 30 - Feb 29

Week Date Topic  
1 Tue 30 Jan Overview  
  Thu 1 Feb Discussion  
2 Tue 6 LF Type Theory  
  Thu 8 Discussion  
3 Tue 13 Higher-Order Abstract Syntax  
  Thu 15 HOAS Part 2  
4 Tue 20 HOAS Part 3  
  Thu 22 Canonical Forms  
5 Tue 27 Participant Demos  
  Thu 29 Participant Demos / Closing remarks  


What is this?

“CM 500: Logical Frameworks” is a free, 5-week course by Chris Martens. The course is currently designed for twice-per-week synchronous sessions on Zoom.

How do I sign up?

The Jan-Feb 2024 iteration is finished. However, there may be future iterations and/or related classes of a similar nature. To be notified, sign up for the mailing list.