All Posts

• Well-Typed Substructural Languages Aug 26, 2024
• Introduction to Recursion Schemes with Idris Apr 4, 2024
• From Lambda Calculus to Bicartesian Closed Categories Sep 23, 2023
• Lambda Calculus and Bicartesian Closed Categories Aug 25, 2023