A categorial theory of objects as observed processes

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019445 ◽

1991 ◽

pp. 203-228 ◽

Author(s):

H. -D. Ehrich ◽

J. A. Goguen ◽

A. Sernadas

Download Full-text