The Expressiveness of Simple and Second-Order Type Structures

db/journals/jacm/FortuneLO83.html The Expressiveness of Simple and Second-Order Type Structures Steven Fortune Daniel Leivant Michael O'Donnell 151-185 J. ACM January 1983 30 1 db/journals/jacm/jacm30.html#FortuneLO83 http://doi.acm.org/10.1145/322358.322370