%O Generic 
%F co87
%A Coquand, T.
%T On the Analogy Between Propositions and Types
%I Institute on Logical Foundations of Functional Programming (1987 UT Year of Programming)
%D 1987
%K typetheory