flo83

S. Fortune, D. Leivant, M. O'Donnell. The Expressiveness of Simple and Second-Order Type Structures. J. ACM, 30(1):151-185, January 1983.

Keyword

[ Typetheory ]

Contact

S. Fortune
Daniel Leivant
M. O'Donnell

BibTex Reference

@article{flo83,
   Author = {Fortune, S. and Leivant, D. and O'Donnell, M.},
   Title = {The Expressiveness of Simple and Second-Order Type Structures},
   Journal = {J. ACM},
   Volume = {30},
   Number = {1},
   Pages = {151--185},
   Month = {January},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)