[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.


Stefan Ciobaca

More information about the Types-list mailing list