Logiques, catégories et machines (1988)

by Y Lafont