Reference. Logiques, catégories et machines

Cite

Cite as @lafont_1988 (helia, typst) · \cite{lafont_1988} (LaTeX)
BibTeX
bibtex · 6 lines
@phdthesis{lafont_1988,
 title = {Logiques, cat{\'e}gories et machines},
 author = {Lafont, Yves},
 school = {Universit{\'e} Paris 7},
 year = {1988}
}
hayagriva YAML (typst)
yaml · 7 lines
lafont_1988:
  type: thesis
  title: Logiques, cat{é}gories et machines
  author: Lafont, Yves
  date: 1988
  organization: Universit{é} Paris 7
  genre: Doctoral dissertation
lafont_1988 reference entries/refs/lafont_1988/lafont_1988.hel