Spahn internal type theory and nonstandard type theory

References

  • Chalmers

  • P. Boldini, nonstandard type theory and natural language semantics, ps

  • proof and computation, abstracts, München 1999, web

  • 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

Last revised on August 7, 2012 at 14:38:40. See the history of this page for a list of all contributions to it.