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.