%O Report 
%F co86
%A Coquand, T.
%T An Analysis of Girard's Paradox
%N 0
%I INRIA
%8 May
%D 1986
%K typetheory