Yannick Delbecque
Site personnel

preuve

Proofs and Types

Livre basé sur les notes de Jean-Yves Girard traduites et augmentées par Paul Taylor and Yves Lafont.