christiankissig's coalgebra [51 articles] Export

Recent papers added to christiankissig's library classified by the tag coalgebra. You can also see everyone's coalgebra.

Hide details

	Tracing Anonymity with Coalgebras [My Copy] (2008) by Ichiro Hasuo posted to traces trace_theory trace_semantics coalgebra anonymity by christiankissig on 2009-10-08 17:20:19 as
	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 functional attribute evaluation [My Copy] Vol. 6 by Tarmo Uustula, Varmo Vene posted to coalgebra substituion_patterns by christiankissig on 2009-06-23 16:26:12 as
	Representing cyclic structures as nested datatypes [My Copy] In Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (2006), pp. 173-188. by Neil Ghani, M. Hamana, Tarmo Uustalu, Varmo Vene edited by H. Nilsson posted to coalgebra substituion_patterns by christiankissig on 2009-06-23 16:23:54 as
	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
	The recursion scheme from the cofree recursive comonad [My Copy] In Proc. of 2nd Wksh. on Mathematically Structured Functional Programming, MSFP 2008 (2008) by Tarmo Uustula, Varmo Vene edited by Vincenzo Capretta, Conor Mcbride posted to coalgebra subsitution_patterns by christiankissig on 2009-06-23 16:19:34 as
	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
	Universelle Coalgebra [My Copy] In Universelle Algebra by Heinz-Peter Gumm posted to coalgebra by christiankissig on 2009-06-18 11:48:51 as
	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
	Simulation and Fixpoint Semantics [My Copy] (1996) by Albert Thijs posted to coalgebra simulation by christiankissig on 2009-06-17 18:27:46 as
	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
	A Cook's Tour of the Finitary Non-Well-Founded Sets [My Copy] In We Will Show Them: Essays in honour of Dov Gabbay, Vol. 1 (2005), pp. 1-18. by S. Abramsky edited by Sergei Artemov, Howard Barringer, Artur D. Garcez, Luis C. Lamb, John Woods posted to coalgebra by christiankissig on 2009-06-16 10:05:20 as
	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
	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
	Trace Semantics for Coalgebras [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 167-184. by Bart Jacobs posted to coalgebra trace_theory by christiankissig on 2008-12-02 11:44:22 as along with 1 person jrw
	An Introduction to the Theory of Coalgebras [My Copy] (2003) by D. Pattinson posted to coalgebra by christiankissig on 2008-09-11 13:38:01 as
	Notes on Coalgebras, Co-Fibrations and Concurrency [My Copy] In Coalgebraic Methods in Computer Science (CMCS 2000), Vol. 33 (2000) by A. Kurz, D. Pattinson edited by H. Reichel posted to coalgebra by christiankissig on 2008-09-11 13:36:59 as
	Computable Functions on Final Coalgebras [My Copy] In Coalgebraic Methods in Computer Science (CMCS 2003), Vol. 82 (2003), pp. 1-20. by D. Pattinson edited by H. P. Gumm posted to coalgebra by christiankissig on 2008-09-11 13:36:59 as
	Ultrafilter Extensions for Coalgebras [My Copy] In Proc. CALCO 2005, Vol. 3629 (2005), pp. 263-277. by C. Kupke, A. Kurz, D. Pattinson edited by J. Fiadeiro, J. Rutten posted to coalgebra by christiankissig on 2008-09-11 13:36:58 as
	Continuous Functions on Final Coalgebras [My Copy] In Proc. CMCS 2006 (2006) by N. Ghani, P. Hancock, D. Pattinson edited by J. Power posted to coalgebra by christiankissig on 2008-09-11 13:36:58 as along with 1 person pedagand
	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
	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond [My Copy] In Foundations of Software Science And Computation Structures, Vol. 3441 (2005), pp. 440-454. by Lutz Schröder edited by Vladimiro Sassone posted to category_theory coalgebra coalgebraic_logic coalgebras expressivity lifting logic modal natural predicate relation by christiankissig on 2008-08-23 18:21:58 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
	On coalgebra of real numbers [My Copy] E. Notes in Theor. Comp. Sci., Vol. 19 (1999), pp. 133-148. by Dusko Pavlovic, Vaughan Pratt posted to coalgebra by christiankissig on 2008-07-12 17:14:44 as along with 1 person robotact
	The continuum as a final coalgebra [My Copy] Theor. Comp. Sci., Vol. 280, No. 1--2. (2002), pp. 105-122. by Dusko Pavlovic, Vaughan Pratt posted to coalgebra by christiankissig on 2008-07-12 17:14:44 as
	Categories of processes enriched in final coalgebras [My Copy] In Proceedings of FoSSaCS 2001, Vol. 2030 (2001), pp. 303-317. by Sava Krstić, John Launchbury, Dusko Pavlovic edited by Furio Honsell posted to category_theory coalgebra by christiankissig on 2008-07-12 17:14:43 as
	Automata and Fixed Point Logics for Coalgebras [My Copy] Electronic Notes in Computer Science, Vol. 106 (2004), pp. 355-375. by Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Coalgebraic Automata Theory: Basic Results [My Copy] (2007) by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Finitary Coalgebraic Logic [My Copy] (2006) by Clemens Kupke posted to automata_theory category_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Closure Properties of Coalgebra Automata [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 199-208. by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Universal Coalgebra: A Theory of Systems [My Copy] Vol. CS-R9652 (1996) by J. J. M. M. Rutten posted to coalgebra by christiankissig on 2008-07-01 16:58:47 as along with 1 person Scis0000002
	Expressive logics for coalgebras via terminal sequence induction [My Copy] (2002) by D. Pattinson posted to coalgebra logic by christiankissig on 2008-07-01 16:58:47 as
	Coalgebraic Logic [My Copy] Annals of Pure and Applied Logic, Vol. 96, No. 1-3. (1999), pp. 277-317. by Lawrence S. Moss posted to coalgebra logic by christiankissig on 2008-07-01 16:58:47 as
	Coalgebraic trace semantics for combined possibilitistic and probabilistic systems [My Copy] (2008) by Bart Jacobs posted to category_theory coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Introduction to Coalgebra. Towards Mathematics of States and Observations [My Copy] (2005) by Bart Jacobs posted to coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Generic Trace Theory [My Copy] In International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Vol. 164 (2006), pp. 47-65. by Ichiro Hasuo, Bart Jacobs, Ana Sokolova posted to category_theory coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Generic Forward and Backward Simulations [My Copy] In International Conference on Concurrency Theory (CONCUR 2006), Vol. 4137 (2006), pp. 406-420. by I. Hasuo posted to category_theory coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Elements of the General Theory of Coalgebra [My Copy] (2000) by Heinz P. Gumm posted to coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Vietoris Bisimulation for descriptive models [My Copy] Journal of Logic and Computation (2007) by Nick Bezhanishvili, Gaelle Fontaine, Yde Venema posted to category_theory coalgebra modal_logic by christiankissig on 2008-07-01 16:58:46 as
	Introduction to Coalgebra [My Copy] Vol. 14 (2005), pp. 157-199. by Jiri Adamek posted to coalgebra by christiankissig on 2008-07-01 16:58:46 as

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

Result page: 1 2 Next

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's coalgebra [51 articles] Export

christiankissig's tags