[ 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