lafont_1988:
  type: thesis
  title: Logiques, cat{é}gories et machines
  author: Lafont, Yves
  date: 1988
  organization: Universit{é} Paris 7
  genre: Doctoral dissertation