Giuseppe Scollo Typed-Equational Types: Pragmatics. 1988 ADT db/conf/adt/adt1988.html#Scollo88