Proofs and types

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

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} }