Co‐Algebraic Semantic Framework for Reasoning about Interaction Designs
Author:
Meng Sun,Barbosa Luís S.
Reference46 articles.
1. Lecture Notes in Computer Science;Aczel P.,1988
2. Elements of a relational theory of datatypes
3. Electronic Notes in Theoretical Computer Science;Barbosa L. S.,2001
4. Calculating Invariants as Coreflexive Bisimulations