Unifying theories in dierent institutions (1996)

by M Arrais, J L Fiadeiro
Venue:In Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors, Recent Trends in Data Type Speci cation