Partial Objects in the Calculus of Constructions

Philippe Audebaud Partial Objects in the Calculus of Constructions 86-95 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#Audebaud91