The design of a programming system is guided by certain beliefs, principles and practical constraints. These considerations are not always manifest from the rules defining the system. In this paper the author discusses some of the principles which have guided the design of the programming logics built at Cornell in the last decade. Most of the necessarily brief discussion concerns type theory with stress on the concepts of function space and quotient types.
CITATION STYLE
Constable, R. L. (1983). Comstructive matnkmatics as a programming logic I: Some principles of theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 158 LNCS, pp. 64–77). Springer Verlag. https://doi.org/10.1007/3-540-12689-9_94
Mendeley helps you to discover research relevant for your work.