| 1983 | ||
|---|---|---|
| 2 | Steven Fortune, Daniel Leivant, Michael O'Donnell: The Expressiveness of Simple and Second-Order Type Structures J. ACM 30(1): 151-185 (1983) | |
| 1979 | ||
| 1 | Michael O'Donnell: A Programming Language Theorem Which Is Independent of Peano Arithmetic STOC 1979: 176-188 | |
| 1 | Steven Fortune | [2] |
| 2 | Daniel Leivant | [2] |