Types, algebras and modeling

• 1 January 1980
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 11  (2) , 207-209
• https://doi.org/10.1145/800227.806925

Abstract