Tensors of Comodels and Models for Operational Semantics
暂无分享,去创建一个
[1] Gordon D. Plotkin,et al. Computational Effects and Operations: An Overview , 2004, Electron. Notes Theor. Comput. Sci..
[2] G. M. Kelly,et al. Structures defined by finite limits in the enriched context, I , 1982 .
[3] Gordon D. Plotkin,et al. Notions of Computation Determine Monads , 2002, FoSSaCS.
[4] G. M. Kelly,et al. Two-dimensional monad theory , 1989 .
[5] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..
[6] Martin Hofmann,et al. Positive Subtyping , 1996, Inf. Comput..
[7] John Power,et al. Discrete Lawvere theories and computational effects , 2006, Theor. Comput. Sci..
[8] John Power. Enriched Lawvere Theories , .
[9] Charles Ehresmann,et al. Cahiers de topologie et géometrie différentielle , 1982 .
[10] Gordon D. Plotkin,et al. Combining effects: Sum and tensor , 2006, Theor. Comput. Sci..
[11] P. T. Johnstone,et al. TOPOSES, TRIPLES AND THEORIES (Grundlehren der mathematischen Wissenschaften 278) , 1986 .
[12] John Power,et al. From Comodels to Coalgebras: State and Arrays , 2004, CMCS.
[13] John Power,et al. Coalgebraic semantics for timed processes , 2006, Inf. Comput..
[14] David L. Dill,et al. A decision procedure for an extensional theory of arrays , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[15] Ross Street,et al. Fibrations in bicategories , 1980 .
[16] Gordon D. Plotkin,et al. Combining algebraic effects with continuations , 2007, Theor. Comput. Sci..
[17] Francois Metayer. State monads and their algebras , 2004 .
[18] Gordon D. Plotkin,et al. Adequacy for Algebraic Effects , 2001, FoSSaCS.
[19] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.
[20] Gordon D. Plotkin,et al. Algebraic Operations and Generic Effects , 2003, Appl. Categorical Struct..