Naïve Computational Type Theory  Revision History 
Constable, Robert L., Naïve Computational Type Theory. Cornell University, 2002.
 
Revision Date  Revision 
2/11/03  Title was changed from "Naive Type Theory" to "Naive Computational Type Theory" per Bob. Now the title is the same as that of the former version published in Proof and SystemReliability (see 11/1/02 note below). 
11/5/02  Typo corrected in Section 1, "Types and equality," under "Equality." The first formula had read incorrectly: x=y mod(m) iff (xy)=k [etc.] It has now been corrected to: x=y mod(k) iff (xy)=k [etc.] 
11/1/02  "Naive Type Theory" is a revised version of R. Constable, "Naive Computational Type Theory," in H. Schwichtenberg & R. Steinbrueggen, eds., Proof and SystemReliability, NATO Science Series III, pp. 213260, Kluwer Academic Publishers, 2002. 
Back to Naive Computational Type Theory  Preface page 
