%0 Journal Article 
%F flo83
%A Fortune, S.
%A Leivant, D.
%A O'Donnell, M.
%T The Expressiveness of Simple and Second-Order Type Structures
%J J. ACM
%V 30
%N 1
%P 151-185
%8 January
%D 1983
%K typetheory