Syracuse University SURFACE
College of Engineering and Computer Science - Former Departments, Centers, Institutes and College of Engineering and Computer Science Projects
1995
Objects, Interference, and the Yoneda Embedding
Peter W. O'Hearn Syracuse University
Uday S. Reddy University of Illinois at Urbana-Champaign
Follow this and additional works at: https://surface.syr.edu/lcsmith_other
Part of the Programming Languages and Compilers Commons
Recommended Citation O'Hearn, Peter W. and Reddy, Uday S., "Objects, Interference, and the Yoneda Embedding" (1995). College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects. 14. https://surface.syr.edu/lcsmith_other/14
This Article is brought to you for free and open access by the College of Engineering and Computer Science at SURFACE. It has been accepted for inclusion in College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects by an authorized administrator of SURFACE. For more information, please contact [email protected].
Electronic Notes in Theoretical Computer Science to app ear
Ob jects Interference and the Yoneda
Emb edding