author : Yves Lafont

Books

• Proofs and Types. 1989, with Jean-Yves Girard, Paul Taylor