Categories & Machines. Th`ese de Doctorat, Universit'e Paris VII (1988)

by Logiques