## Variants of the Basic Calculus of Constructions

by
M. W. Bunder
,
Jonathan P. Seldin

Citations: | 1 - 0 self |

### BibTeX

@MISC{Bunder_variantsof,

author = {M. W. Bunder and Jonathan P. Seldin},

title = {Variants of the Basic Calculus of Constructions},

year = {}

}

### OpenURL

### Abstract

In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version in early papers on the subject by Seldin. None of these results is very deep, but it seems useful to collect them in one place.