home
>
book reviews
> Jean-Yves Girard
Google >
Jean-Yves Girard
author : Jean-Yves Girard
Books
Proofs and Types
. 1989,
with
Yves Lafont
,
Paul Taylor