Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylor · Cambridge University Press · 1989
APA
Girard, J., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge University Press.
Jean-Yves Girard, Yves Lafont, Paul Taylor · Cambridge University Press · 1989
Girard, J., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge University Press.