glt89

J. Girard, Y. Lafont, P. Taylor. Proofs and Types. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989.

Keyword

[ Typetheory ]

Contact

J. Girard
Y. Lafont
P. Taylor

BibTex Reference

@Book{glt89,
   Author = {Girard, J. and Lafont, Y. and Taylor, P.},
   Title = {Proofs and Types},
   Volume = {7},
   Series = {Cambridge Tracts in Theoretical Computer Science},
   Publisher = {Cambridge University Press},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)