Type Theory

Jul 17, 2023

• Simply Typed Lambda Calculus
• Martin Löf Type Theory
• Homotopy Type Theory

• Category Theory
• Haskell