Searching for "Objects, Interference, and the Yoneda Embedding." – sorted by Relevance.
-
Objects, Interference, and the Yoneda Embedding
- for the semantics from [29], and simply apply a Yoneda embedding C ! Cpo C op that maps this object
- Cited by 15 (5 self) – Add To MetaCart

