Steven J. Fortune
Steven Fortune, Daniel Leivant, and Michael O'Donnell.
The expressiveness of simple and second-order type structures.
Journal of the ACM
, 30(1):151-185, January 1983.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database