Lafont, Yves

Overview

Works:	2 works in 1 publications in 1 languages

Titles

Proofs and types by: Lafont, Yves; Jean - Yves Girard (Language materials, printed)

Subjects

511.3