Proofs and types

Jean-Yves Girard, Yves Lafont, Paul Taylor · Cambridge University Press · 1989

MLA

Girard, Jean-Yves, et al. Proofs and types. Cambridge University Press, 1989.

APA

Girard, J., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge University Press.

Chicago

Girard, Jean-Yves, Yves Lafont, Paul Taylor. Proofs and types. Cambridge University Press, 1989.

Wikipedia

{{cite book |last=Girard |first=Jean-Yves |title=Proofs and types |publisher=Cambridge University Press |year=1989 |isbn=9780521371810}}

BibTeX

@book{girard1989, author = {Girard, Jean-Yves and Lafont, Yves and Taylor, Paul}, title = {Proofs and types}, publisher = {Cambridge University Press}, year = {1989}, isbn = {9780521371810} }