Outline of an Object-Oriented Calculus of Higher Type (Abstract).

Hassan Aït-Kaci Outline of an Object-Oriented Calculus of Higher Type (Abstract). 1-2 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#Ait-Kaci92 http://dx.doi.org/10.1007/BFb0013815