Skip to Content
🇫🇷 🇪🇺 Looking for experienced guidance on Lean software delivery? We'd be glad to explore how we can work together. Contact →
Advanced Software EngineeringTypes and LogicIntroduction

Types & Logic

Curry-Howard, Propositions as Types, Refinement Types: when types become proofs.

Last updated on
Design Systems: A DSL for Visual IdentityThe Curry-Howard Correspondence: Linking Programs and Proofs