mere86

A. Meyer, M. Reinhold. `Type' is not a Type. In Proc. 13th ACM Symp. on Principles of Programming Languages, Pages 287-295, St. Petersburg Beach, Florida, January 1986.

Keyword

[ Typetheory ]

Contact

A. Meyer
M. Reinhold

BibTex Reference

@InProceedings{mere86,
   Author = {Meyer, A. and Reinhold, M.},
   Title = {`Type' is not a Type},
   BookTitle = {Proc. 13th ACM Symp. on Principles of Programming Languages},
   Pages = {287--295},
   Address = {St. Petersburg Beach, Florida},
   Month = {January},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)