메뉴 건너뛰기




Volumn 5728 LNCS, Issue , 2009, Pages 64-80

Coalgebraic components in a many-sorted microcosm

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC STRUCTURES; COALGEBRAIC; COALGEBRAS; COMPOSITIONALITY; LAWVERE THEORY;

EID: 70350370664     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03741-2_6     Document Type: Conference Paper
Times cited : (12)

References (32)
  • 1
    • 0000227933 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.