Algorithm Development in the Calculus of Constructions

Christine Mohring Algorithm Development in the Calculus of Constructions 84-91 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Mohring86