Some properties of coalgebras and their role in computer science
暂无分享,去创建一个
William Steingartner | Davorka Radaković | František Valkošák | Pavol Macko | William Steingartner | D. Radaković | František Valkošák | P. Macko
[1] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[2] Dorde Herceg,et al. The Extensibility of an Interpreted Language Using Plugin Libraries , 2011 .
[3] Bart Jacobs,et al. Introduction to Coalgebra: Towards Mathematics of States and Observation , 2016, Cambridge Tracts in Theoretical Computer Science.
[4] Ivan Lukovic,et al. Generic and standard database constraint meta-models , 2014, Comput. Sci. Inf. Syst..
[5] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.
[7] Dejana Herceg,et al. Generalizing the extensibility of a dynamic geometry software , 2012 .
[8] B. Jacobs,et al. A tutorial on (co)algebras and (co)induction , 1997 .
[9] R. Blute,et al. Category theory for linear logicians , 2004 .
[10] Varmo Vene,et al. CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES , 2000 .
[11] Valerie Novitzká,et al. ON APPLYING STOCHASTIC PROBLEMS IN HIGHER-ORDER THEORIES , 2007 .
[12] C. Pollard,et al. Center for the Study of Language and Information , 2022 .
[13] Dorde Herceg,et al. A Platform for Development of Mathematical Games on Silverlight. , 2013 .
[14] Bart Jacobs,et al. An introduction to (co)algebra and (co)induction , 2011, Advanced Topics in Bisimulation and Coinduction.
[15] M. Brandenburg. Einführung in die Kategorientheorie , 2016 .