🇫🇷 🇪🇺 Vous cherchez un accompagnement senior en Lean software delivery ? Discutons ensemble de notre collaboration future. Contact →

Logic

2 articles

La Correspondance de Curry-Howard : lien entre programmes et preuves5 min de lecture
La correspondance de Curry-Howard, parfois appelée isomorphisme de Curry-Howard, établit une équivalence profonde entre deux domaines apparemment distincts : la logique formelle et la théorie des type...
Propositions as types : l'unification de Wadler4 min de lecture
Philip Wadler, dans sa conférence et son article « Propositions as Types », offre une méditation historique et philosophique sur la correspondance de Curry-Howard.