A sheaf semantics for FOOPS expressions (extended abstract (1992)

by David A Wolfram, Joseph A Goguen
Venue:Proceedings of the ECOOP'91 Workshop on Object-Based Concurrent Computing