[TYPES] preterms

Stefan Ciobaca stefan.ciobaca at gmail.com
Sat Feb 3 17:03:18 EST 2018


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


More information about the Types-list mailing list