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