[[!redirects internal type theory]] ## References * [Chalmers](http://www.cse.chalmers.se/~coquand/int.html) * P. Boldini, nonstandard type theory and natural language semantics, [ps](http://pboldini.free.fr/Papers/nonstandard.ps) * proof and computation, abstracts, München 1999, [web](http://www.mathematik.uni-muenchen.de/~gamma0/abstract.html) * Erik Palmgren, a note on mathematics of infinity, the journal of symbolic logic, volume 58, number 4, 4. Dec. 1993 * Per Martin-Löf, Mathematics of Infinity, Springer Lecture Notes in Computer Science, Vol. 417, pp. 146-197. * constructive nonstandard mathematics, bibliography by Palmgren, [web](http://www2.math.uu.se/~palmgren/biblio/nonstd.html)