Coquand's calculus of constructions: A mathematical foundation for a proof development system Jonathan P. Seldin OriginalPaper Pages: 425 - 441
Transformation of programs for fault-tolerance Zhiming LiuMathai Joseph OriginalPaper Pages: 442 - 469