Proofs and types

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

Chicago

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