%O Generic 
%F tu89
%A Turner, D.
%T A New Formulation of Constructive Type Theory
%I Notes from IFIP WG 2.1
%D 1989
%K typetheory