-
1
-
-
0000227933
-
Higher dimensional algebra III: N-categories and the algebra of opetopes
-
Baez, J.C., Dolan, J.: Higher dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math. 135, 145-206 (1998)
-
(1998)
Adv. Math
, vol.135
, pp. 145-206
-
-
Baez, J.C.1
Dolan, J.2
-
2
-
-
14544283619
-
Towards a calculus of state-based software components
-
Barbosa, L.S.: Towards a calculus of state-based software components. Journ. of Universal Comp. Sci. 9(8), 891-909 (2003)
-
(2003)
Journ. of Universal Comp. Sci
, vol.9
, Issue.8
, pp. 891-909
-
-
Barbosa, L.S.1
-
5
-
-
0003843046
-
-
3rd edn, Centre de recherches mathématiques, Université de Montréal
-
Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn., Centre de recherches mathématiques, Université de Montréal (1999)
-
(1999)
Category Theory for Computing Science
-
-
Barr, M.1
Wells, C.2
-
7
-
-
0001300079
-
Two-dimensional monad theory. Journ. of Pure & Appl
-
Blackwell, R., Kelly, G., Power, A.: Two-dimensional monad theory. Journ. of Pure & Appl. Algebra 59, 1-41 (1989)
-
(1989)
Algebra
, vol.59
, pp. 1-41
-
-
Blackwell, R.1
Kelly, G.2
Power, A.3
-
8
-
-
47249118438
-
Coalgebraic logic and synthesis of Mealy machines
-
Amadio, R.M, ed, FOSSACS 2008, Springer, Heidelberg
-
Bonsangue, M.M., Rutten, J., Silva, A.: Coalgebraic logic and synthesis of Mealy machines. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 231-245. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4962
, pp. 231-245
-
-
Bonsangue, M.M.1
Rutten, J.2
Silva, A.3
-
9
-
-
0038251150
-
Handbook of Categorical Algebra
-
and, Cambridge University Press, Cambridge
-
Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics, vol. 50, 51 and 52. Cambridge University Press, Cambridge (1994)
-
(1994)
Encyclopedia of Mathematics
, vol.50
, pp. 51-52
-
-
Borceux, F.1
-
11
-
-
33745765911
-
Pseudo limits, biadjoints, and pseudo algebras: Categorical foundations of con-formal field theory
-
Fiore, T.M.: Pseudo limits, biadjoints, and pseudo algebras: Categorical foundations of con-formal field theory. Memoirs of the AMS 182 (2006)
-
(2006)
Memoirs of the AMS
, vol.182
-
-
Fiore, T.M.1
-
14
-
-
47249085675
-
The microcosm principle and concurrency in coalgebra
-
Amadio, R.M, ed, FOSSACS 2008, Springer, Heidelberg
-
Hasuo, I., Jacobs, B., Sokolova, A.: The microcosm principle and concurrency in coalgebra. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 246-260. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4962
, pp. 246-260
-
-
Hasuo, I.1
Jacobs, B.2
Sokolova, A.3
-
15
-
-
0033751744
-
-
Hughes, J.: Generalising monads to arrows. Science of Comput. Progr. 37(1-3), 67-111 (2000)
-
Hughes, J.: Generalising monads to arrows. Science of Comput. Progr. 37(1-3), 67-111 (2000)
-
-
-
-
16
-
-
33847770012
-
-
Hyland, M., Power, J.: The category theoretic understanding of universal algebra: Lawvere theories and monads. Elect. Notes in Theor. Comp. Sci. 172, 437-458 (2007)
-
Hyland, M., Power, J.: The category theoretic understanding of universal algebra: Lawvere theories and monads. Elect. Notes in Theor. Comp. Sci. 172, 437-458 (2007)
-
-
-
-
17
-
-
0001818904
-
Semantics of weakening and contraction
-
Jacobs, B.: Semantics of weakening and contraction. Ann. Pure & Appl. Logic 69(1), 73-106 (1994)
-
(1994)
Ann. Pure & Appl. Logic
, vol.69
, Issue.1
, pp. 73-106
-
-
Jacobs, B.1
-
19
-
-
0000892681
-
A tutorial on (co)algebras and (co)induction
-
Jacobs, B., Rutten, J.J.M.M.: A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62, 222-259 (1997)
-
(1997)
EATCS Bulletin
, vol.62
, pp. 222-259
-
-
Jacobs, B.1
Rutten, J.J.M.M.2
-
21
-
-
70350420210
-
-
Lack, S., Power, J.: Lawvere 2-theories. Presented at CT 2007 (2007), www.mat.uc.pt/~categ/ct2007/slides/lack.pdf
-
Lack, S., Power, J.: Lawvere 2-theories. Presented at CT 2007 (2007), www.mat.uc.pt/~categ/ct2007/slides/lack.pdf
-
-
-
-
24
-
-
0043196810
-
-
Levy, P.B., Power, A.J., Thielecke, H.: Modelling environments in call-by-value programming languages. Inf. & Comp. 185(2), 182-210 (2003)
-
Levy, P.B., Power, A.J., Thielecke, H.: Modelling environments in call-by-value programming languages. Inf. & Comp. 185(2), 182-210 (2003)
-
-
-
-
26
-
-
0026188821
-
-
Moggi, E.: Notions of computation and monads. Inf. & Comp. 93(1), 55-92 (1991)
-
Moggi, E.: Notions of computation and monads. Inf. & Comp. 93(1), 55-92 (1991)
-
-
-
-
28
-
-
84887466617
-
Premonoidal categories and notions of computation
-
Power, J., Robinson, E.: Premonoidal categories and notions of computation. Math. Struct. in Comp. Sci. 7(5), 453-468 (1997)
-
(1997)
Math. Struct. in Comp. Sci
, vol.7
, Issue.5
, pp. 453-468
-
-
Power, J.1
Robinson, E.2
-
29
-
-
33746764422
-
-
Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of Mealy automata. Elect. Notes in Theor. Comp. Sci. 160, 305-319 (2006)
-
Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of Mealy automata. Elect. Notes in Theor. Comp. Sci. 160, 305-319 (2006)
-
-
-
-
30
-
-
33645579078
-
The definition of conformal field theory
-
Tillmann, U, ed, Topology, Cambridge University Press, Cambridge
-
Segal, G.: The definition of conformal field theory. In: Tillmann, U. (ed.) Topology, Geometry and Quantum Field Theory. London Math. Soc. Lect. Note Series, vol. 308, pp. 423-577. Cambridge University Press, Cambridge (2004)
-
(2004)
Geometry and Quantum Field Theory. London Math. Soc. Lect. Note Series
, vol.308
, pp. 423-577
-
-
Segal, G.1
-
31
-
-
44649112368
-
-
Uustalu, T., Vene, V.: Comonadic notions of computation. Elect. Notes in Theor. Comp. Sci. 203(5), 263-284 (2008)
-
Uustalu, T., Vene, V.: Comonadic notions of computation. Elect. Notes in Theor. Comp. Sci. 203(5), 263-284 (2008)
-
-
-
|