Tag coalgebra [63 articles] Export

Recent papers classified by the tag coalgebra.

	Universal coalgebra: a theory of systems [My Copy] Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80. by J. J. M. M. Rutten posted to coalgebra by msakai on 2009-09-10 06:58:52 as along with 2 people pirapira oryp6518
	The Essence of Dataflow Programming [My Copy] Central European Functional Programming School (2006), pp. 135-167. by Tarmo Uustalu, Varmo Vene posted to coalgebra substitution_patterns by christiankissig on 2009-06-23 16:27:04 as along with 4 people pedagand Scis0000002 spl hannibal_08
	Comonadic Notions of Computation [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284. by Tarmo Uustalu, Varmo Vene posted to coalgebra substituion_patterns by christiankissig on 2009-06-23 16:20:23 as along with 3 people pedagand spl oryp6518
	Probabilistic Anonymity Via Coalgebraic Simulations [My Copy] Programming Languages and Systems (2007), pp. 379-394. by Ichiro Hasuo, Yoshinobu Kawabe posted to anonymity coalgebra by christiankissig on 2009-06-22 15:49:10 as along with 1 person mrkoot
	Algebras, Coalgebras, Monads and Comonads [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 1-18. by Neil Ghani, Christoph Luth, Federico de Marchi, John Power posted to algebra coalgebra comonads monads by christiankissig on 2009-06-21 19:26:50 as along with 1 person mstone
	Simulations in coalgebra [My Copy] Theoretical Computer Science, Vol. 327, No. 1-2. (25 October 2004), pp. 71-108. by J. Hughes, B. Jacobs posted to coalgebra simulation by christiankissig on 2009-06-17 18:34:38 as along with 1 person jrw
	A Logic for Coalgebraic Simulation [My Copy] Electronic Notes in Theoretical Computer Science In CMCS'2000, Coalgebraic Methods in Computer Science, Vol. 33 (2000), pp. 42-60. by Alexandru Baltag posted to coalgebra simulation by christiankissig on 2009-06-17 18:32:40 as along with 1 person dmitri83
	On Logics for Coalgebraic Simulation [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 63-90. by C. Cirstea posted to coalgebra simulation by christiankissig on 2009-06-17 18:12:15 as
	Generic Trace Semantics via Coinduction [My Copy] ArXiv e-prints (October 2007) by Ichiro Hasuo, Bart Jacobs, Ana Sokolova posted to coalgebra trace_theory by christiankissig on 2009-06-17 10:36:53 as
	Context-Free Languages via Coalgebraic Trace Semantics [My Copy] Algebra and Coalgebra in Computer Science (2005), pp. 213-231. by Ichiro Hasuo, Bart Jacobs posted to coalgebra trace_theory by christiankissig on 2009-06-17 10:35:46 as along with 1 person jrw
	Coalgebraic modal logic beyond Sets [My Copy] In In MFPS XXIII, Vol. 173 (2007), pp. 177-201. by Bartek Klin posted to coalgebra coalgebraic_modal_logic nominal_sets by christiankissig on 2009-06-15 12:16:24 as
	Algebras Versus Coalgebras [My Copy] Applied Categorical Structures, Vol. 16, No. 1. (1 April 2008), pp. 255-295. by Robert Wisbauer posted to algebra bialgebra category_theory coalgebra hopf_algebra by christiankissig on 2009-06-09 11:49:32 as
	Behavioural differential equations: a coinductive calculus of streams, automata, and power series [My Copy] Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 1-53. by J. J. M. M. Rutten posted to coalgebra input_derivatives transition_systems by robotact on 2009-05-10 01:18:50 as
	Calculus in Coinductive Form [My Copy] In LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (1998), pp. 408-417. by D. Pavlovic, M. H. Escardó posted to 333 coalgebra real_numbers by robotact on 2009-05-10 01:16:46 as
	Initial algebra and final coalgebra semantics for concurrency [My Copy] A Decade of Concurrency Reflections and Perspectives (1994), pp. 530-582. by Jan Rutten, Daniele Turi posted to bisimulation category_theory coalgebra transition_systems by robotact on 2009-04-14 18:02:31 as
	Universal coalgebra: a theory of systems [My Copy] Theoretical Computer Science, Vol. 249, No. 1. (17 October 2000), pp. 3-80. by J. J. M. M. Rutten posted to bisimulation category_theory coalgebra transition_systems by robotact on 2009-04-14 17:30:38 as along with 1 person marcinzalewski
	Bisimulation for probabilistic transition systems: a coalgebraic approach [My Copy] Theor. Comput. Sci., Vol. 221, No. 1-2. (1999), pp. 271-293. by E. P. de Vink, J. J. M. M. Rutten posted to bayesian bisimulation coalgebra by robotact on 2009-04-14 16:57:09 as
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted to bisimulation coalgebra computer_science tutorial by robotact on 2009-04-14 16:40:47 as along with 6 people dimvar ama08r ddemange fvogels draganigajic pedagand
	On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces [My Copy] Mathematical Structures in Computer Science, Vol. 8, No. 05. (1998), pp. 481-540. by T. U. R. I. Daniele, J. A. N. Rutten posted to coalgebra by msakai on 2009-03-28 14:04:14 as
	Processes as formal power series: A coinductive approach to denotational semantics☆ [My Copy] Theoretical Computer Science, Vol. 360, No. 1-3. (21 August 2006), pp. 440-458. by M. Boreale, F. Gadducci posted to coalgebra processes by christiankissig on 2009-03-24 10:06:16 as
	Coalgebraic Automata Theory: Basic Results [My Copy] (12 Nov 2008) by C. Kupke, Y. Venema posted to automata_theory coalgebra coalgebraic_logic by christiankissig on 2009-01-12 14:48:47 as along with 1 person jleny
	Lectures on Semantics : The initial algebra and final coalgebra perspectives [My Copy] by Peter Aczel posted to coalgebra by msakai on 2009-01-04 09:08:44 as along with 1 person radico
	Substitution in non-wellfounded syntax with variable binding [My Copy] Theoretical Computer Science, Vol. 327, No. 1-2. (25 October 2004), pp. 155-174. by R. Matthes, T. Uustalu posted to coalgebra monad by msakai on 2008-12-21 03:24:53 as
	Trace Semantics for Coalgebras [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 167-184. by B. Jacobs posted to category-theory coalgebra computation by jrw on 2008-12-12 01:57:34 as along with 1 person christiankissig
	The Microcosm Principle and Concurrency in Coalgebra [My Copy] Foundations of Software Science and Computational Structures (2008), pp. 246-260. by Ichiro Hasuo, Bart Jacobs, Ana Sokolova posted to category-theory coalgebra computation concurrency by jrw on 2008-12-12 01:33:49 as
	Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 203, No. 5. (12 June 2008), pp. 131-152. by B. Jacobs posted to algebra category-theory coalgebra computation by jrw on 2008-12-12 01:28:13 as
	Invariants, bisimulations and the correctness of coalgebraic refinements [My Copy] Algebraic Methodology and Software Technology (1997), pp. 276-291. by Bart Jacobs posted to coalgebra by msakai on 2008-10-18 03:36:02 as
	Coalgebras and monads in the semantics of Java [My Copy] Theoretical Computer Science, Vol. 291, No. 3. (06 January 2003), pp. 329-349. by Bart Jacobs posted to coalgebra specification by msakai on 2008-10-18 03:30:58 as
	Algebras, Coalgebras, Monads and Comonads [My Copy] In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001) by Neil Ghani, Cristoph Lüth, Federico de Marchi, John Power edited by Andrea Corradini, Marina Lenisa, Ugo Montanari posted to algebra coalgebra comonads monads by draganigajic on 2008-09-15 15:50:04 as along with 5 people fvogels oryp6518 glaubersp Scis0000002 sclv
	Guarded induction on final coalgebras [My Copy] Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18. by D. Pavlovic posted to category_theory coalgebra by christiankissig on 2008-09-09 09:51:44 as along with 1 person msakai
	An axiomatics for categories of coalgebras [My Copy] Electronic Notes in Theoretical Computer Science In CMCS '98, First Workshop on Coalgebraic Methods in Computer Science, Vol. 11 (1998), pp. 158-175. by John Power, Hiroshi Watanabe posted to category_theory coalgebra enriched_category_theory by christiankissig on 2008-09-09 09:49:32 as
	On the final sequence of a finitary set functor [My Copy] Theoretical Computer Science, Vol. 338, No. 1-3. (10 June 2005), pp. 184-199. by James Worrell posted to category_theory coalgebra by christiankissig on 2008-09-08 21:03:51 as
	Expressivity of coalgebraic modal logic: The limits and beyond [My Copy] Theoretical Computer Science In Foundations of Software Science and Computational Structures, Vol. 390, No. 2-3. (28 January 2008), pp. 230-247. by Lutz Schröder posted to category_theory coalgebra logic by christiankissig on 2008-09-08 09:25:45 as
	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond [My Copy] Foundations of Software Science and Computational Structures (2005), pp. 440-454. by Lutz Schröder posted to category_theory coalgebra logic by christiankissig on 2008-09-08 09:23:40 as
	Coalgebras and their logics [My Copy] SIGACT News, Vol. 37, No. 2. (June 2006), pp. 57-77. by Alexander Kurz posted to category_theory coalgebra logic by christiankissig on 2008-08-23 18:16:12 as along with 1 person Scis0000002
	A Tutorial on (Co)Algebras and (Co)Induction [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259. by Bart Jacobs, Jan Rutten posted to algebra coalgebra coinduction by tautologico on 2008-06-14 18:05:04 as along with 8 people and 1 group mahler madhadron brothers cpfr benchambers kalmar mmarcus marcinzalewski Rightscom
	Infinite objects in type theory [My Copy] Types for Proofs and Programs (1994), pp. 62-78. by Thierry Coquand posted to coalgebra type-theory by msakai on 2008-05-28 12:33:14 as along with 1 person darinm
	Coalgebras and modal logic [My Copy] (2000) by M. Iger posted to coalgebra coalgebras modal-logic by Scis0000002 on 2008-05-05 23:14:49 as
	A certified, corecursive implementation of exact real numbers [My Copy] Theoretical Computer Science In Real Numbers and Computers, Vol. 351, No. 1. (14 February 2006), pp. 39-51. by Alberto Ciaffaglione, Pietro Di Gianantonio posted to coalgebra coq by msakai on 2008-04-21 02:46:18 as along with 1 person yoriyuki
	On coalgebra based on classes [My Copy] Theor. Comput. Sci., Vol. 316, No. 1-3. (2004), pp. 3-23. by Jiří Adámek, Stefan Milius, Jiří Velebil posted to coalgebra by msakai on 2008-03-29 04:17:42 as
	A coalgebraic view on positive modal logic [My Copy] Theoret. Comput. Sci., Vol. 327, No. 1-2. (2004), pp. 175-195. by Alessandra Palmigiano posted to coalgebra kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:54:05 as
	$My PDF rö\ssiger_00_coalgebras.pdf$ Coalgebras and modal logic [My Copy] In CMCS'2000: coalgebraic methods in computer science (Berlin), Vol. 33 (2000) by Martin Rö\ssiger posted to coalgebra _copy kripke modal_logic _priv by adrian_pigors on 2008-02-05 12:10:05 as
	From Algebras and Coalgebras to Dialgebras [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 289-307. by Erik Poll, Jan Zwanenburg posted to category_theory coalgebra by masteraka on 2007-11-09 23:40:18 as
	Final Coalgebras are Ideal Completions of Initial Algebras [My Copy] by Jirí Adámek posted to category-theory coalgebra by msakai on 2007-09-08 02:27:48 as along with 1 person Scis0000002
	A Coalgebraic Foundation for Linear Time Semantics [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 29 (1999) by John Power, Daniele Turi posted to coalgebra by msakai on 2007-09-03 12:31:12 as
	On the Semantics of Coinductive Types in Martin-Löf Type Theory [My Copy] Algebra and Coalgebra in Computer Science (2005), pp. 114-126. by Federico De Marchi posted to coalgebra type-theory by msakai on 2007-09-03 11:20:22 as
	Final dialgebras: From categories to allegories [My Copy] Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426. by Roland C. Backhouse, Paul F. Hoogendijk posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as along with 2 people Scis0000002 marcinzalewski
	Krein duality, positive 2-algebras, and dilation of comultiplications (To the centenary of Mark G.Krein) [My Copy] (16 Feb 2007) by A. Vershik posted to _unread cat-th-duality coalgebra fourier group-rep nonab_ha by TooMuchCoffeeMan on 2007-02-19 19:15:05 as
	Coalgebraic Reasoning about Classes in Object-Oriented Languages [My Copy] (1998) by B. Jacobs posted to coalgebra oop by zednenem on 2007-01-08 00:37:58 as
	Monads of coalgebras: rational terms and term graphs [My Copy] Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451. by Neil Ghani, Christoph Lüth, Federico De Marchi posted to category-theory coalgebra functional by msakai on 2006-10-06 10:21:56 as along with 1 person Scis0000002

Note: You may cite this page as: http://www.citeulike.org/tag/coalgebra

Result page: 1 2 Next

category-theory	11
category_theory	10
algebra	6
bisimulation	6
computation	5
logic	3
modal_logic	3
polynomial_functor	3
simulation	3
trace_theory	3
transition_systems	3
type-theory	3
bisimilarity	2
coinduction	2
comonads	2
kripke	2
monads	2
nonab_ha	2
tutorial	2
333	1
_copy	1
_priv	1
_unread	1
abstract_logic	1
allegory-theory	1
anonymity	1
automata_theory	1
ba	1
bayesian	1
bialgebra	1
cat-th-duality	1
chu-space	1
coalgebraic_logic	1
coalgebraic_modal_logic	1
coalgebras	1
coinductive	1
comonad	1
computer_science	1
concurrency	1
congruence	1
coq	1
covariety	1
dialgebra	1
enriched_category_theory	1
final_coalgebra	1
final_object	1
fourier	1
functional	1
generic-programming	1
group-rep	1
haskell	1
hopf_algebra	1
input_derivatives	1
languages	1
logic-programming	1
modal-logic	1
monad	1
nominal_sets	1
observable_formula	1
oop	1
partial-order	1
polynomial	1
processes	1
real_numbers	1
relation	1
relational-structures	1
relators	1
semantics	1
specification	1
substituion_patterns	1
substitution_patterns	1
theorem-proving	1
ultraproduct	1
universal-algebra	1

Tag coalgebra [63 articles] Export

Related Tags