Tutorial Material

• A Taste of Categorical Logic - Tutorial Notes
• Lecture notes on Iris
• An Introduction to Logical Relations

• Language-Based Information Flow Basics