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