Variants of the Basic Calculus of Constructions
by
M. W. Bunder
,
Jonathan P. Seldin
BibTeX
@MISC{Bunder_variantsof,
author = {M. W. Bunder and Jonathan P. Seldin},
title = {Variants of the Basic Calculus of Constructions},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
