@phdthesis{lafont_1988,
 title = {Logiques, cat{\'e}gories et machines},
 author = {Lafont, Yves},
 school = {Universit{\'e} Paris 7},
 year = {1988}
}