author : Jean-Yves Girard

Books

• Proofs and Types. 1989, with Yves Lafont, Paul Taylor