Pure type systems were independently introduced by Stefano Berardi (1988) and Jan Terlouw (1989).
Τα αμιγή συστήματα τύπων εισήχθησαν ανεξάρτητα από τους Stefano Berardi (1988) και Jan Terlouw (1989).