[TYPES] preterms

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Could anyone help me with a reference to when the concepts of
preterm/preproof/pretype were first introduced, or what counts as
acceptable definitions of preterms?

Unfortunately, google is not too helpful when searching for the terms above.

Thanks!

Stefan Ciobaca