## A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory (1997)

by
Cesar Munoz
,
C'esar A. Mu~noz H
,
C'esar A. Mu~noz H
,
Projet Coq

Citations: | 17 - 1 self |