From Comodels to Coalgebras: State and Arrays
暂无分享,去创建一个
[1] Don Syme,et al. A Theory of Finite Maps , 1995, TPHOLs.
[2] Frank J. Oles,et al. Type Algebras, Functor Categories, and Block Structure , 1986 .
[3] John Power,et al. Symmetric monoidal sketches , 2000, PPDP '00.
[4] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.
[5] Gordon D. Plotkin,et al. Combining Computational Effects: commutativity & sum , 2002, IFIP TCS.
[6] Martin Hofmann,et al. Positive Subtyping , 1996, Inf. Comput..
[7] G. Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , 1980, Bulletin of the Australian Mathematical Society.
[8] Gordon D. Plotkin,et al. Combining effects: Sum and tensor , 2006, Theor. Comput. Sci..
[9] John Power,et al. Combining continuations with other effects , 2004 .
[10] John Power,et al. Combining computational effects: commutativity and sum , 2001 .
[11] Eduardo J. Dubuc,et al. Kan Extensions in Enriched Category Theory , 1970 .
[12] G. M. Kelly,et al. Two-dimensional monad theory , 1989 .
[13] John Power. Enriched Lawvere Theories , .
[14] Gordon D. Plotkin,et al. Notions of Computation Determine Monads , 2002, FoSSaCS.
[15] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[16] P. T. Johnstone,et al. TOPOSES, TRIPLES AND THEORIES (Grundlehren der mathematischen Wissenschaften 278) , 1986 .
[17] Christoph Lüth,et al. Algebras, Coalgebras, Monads and Comonads , 2001, CMCS.
[18] John C. Reynolds,et al. Algebraic Methods in Semantics , 1985 .
[19] 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.
[20] Christoph Lüth,et al. Dualising Initial Algebras , 2003, Math. Struct. Comput. Sci..