A Sheaf Semantics for FOOPS Expressions

David A. Wolfram, Joseph A. Goguen. A Sheaf Semantics for FOOPS Expressions. In Mario Tokoro, Oscar Nierstrasz, Peter Wegner, editors, Object-Based Concurrent Computing, ECOOP 91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Volume 612 of Lecture Notes in Computer Science, pages 81-98, Springer, 1991.

Authors

David A. Wolfram

This author has not been identified. Look up 'David A. Wolfram' in Google

Joseph A. Goguen

This author has not been identified. Look up 'Joseph A. Goguen' in Google