构造演算以及它在受囿算子系统中的公理化

构造演算以及它在受囿算子系统中的公理化

孙踊

Calculus of Constructions and Its Axiomatization in FBO

SUN Yong

北京大学学报（自然科学版） . 1997, (5): 658 -668 .