Skip to Content
🇫🇷 🇪🇺 Vous cherchez un accompagnement senior en Lean software delivery ? Discutons ensemble de notre collaboration future. Contact →
Ingénierie logicielle avancéeTypes Et LogiqueIntroduction

Types et Logique

Curry-Howard, Propositions as Types, Refinement Types : quand les types deviennent des preuves.

Last updated on
Design systems : un DSL pour l'identité visuelleLa Correspondance de Curry-Howard : lien entre programmes et preuves