christiankissig's library 535 articles Export

Ordered by to_read.

	A Dual Characterization of Subdirectly Irreducible BAOs [My Copy] Studia Logica, Vol. 77, No. 1., 105. by Yde Venema posted to boolean_algebras modal_logic by christiankissig on 2008-07-01 16:45:03 as
	Yoneda Structures from 2-toposes [My Copy] Applied Categorical Structures, Vol. 15, No. 3. (June 2007), pp. 259-323. by Weber, Mark posted to higher_category_theory topoi by christiankissig on 2008-11-09 12:22:08 as
	Elementary cosmoi I [My Copy] Category Seminar (1974), pp. 134-180. by Ross Street posted to enriched_category_theory by christiankissig on 2008-11-09 12:21:15 as
	Notions of Lawvere theory [My Copy] (14 Oct 2009) by Stephen Lack, Jiri Rosicky posted to algebra category_theory by christiankissig on 2008-11-04 13:57:02 as along with 2 people oryp6518 jrw
	Operational resolutions and state transitions in a categorical setting [My Copy] (3 Aug 2000) by Bob Coecke, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:16:18 as
	State transitions as morphisms for complete lattices [My Copy] (4 Aug 2000) by Bob Coecke, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:16:13 as
	Quantaloids Describing Causation and Propagation of Physical Properties [My Copy] (1 May 2001) by Bob Coecke, David J. Moore, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:39 as
	Categorical structures enriched in a quantaloid: categories, distributors and functors [My Copy] (24 Sep 2004) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:33 as
	Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories [My Copy] (24 Sep 2004) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:28 as
	Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid [My Copy] (24 Sep 2004) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:22 as
	Categorical structures enriched in a quantaloid: tensored and cotensored categories [My Copy] (16 Nov 2004) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:12 as
	Towards "dynamic domains": totally continuous cocomplete Q-categories [My Copy] (10 Oct 2005) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:06 as
	Exponentiable functors between quantaloid-enriched categories [My Copy] (25 Aug 2006) by Maria M. Clementino, Dirk Hofmann, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:01 as
	Propositional systems, Hilbert lattices and generalized Hilbert spaces [My Copy] (10 Oct 2007) by Isar Stubbe, Bart Van Steirteghem posted to no-tag by christiankissig on 2008-10-31 20:14:56 as
	On principally generated Q-modules in general, and skew local homeomorphisms in particular [My Copy] (1 Feb 2008) by Hans Heymans, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:14:48 as
	Modules on involutive quantales: canonical Hilbert structure, applications to sheaf theory [My Copy] (25 Sep 2008) by Hans Heymans, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:14:42 as
	Q-modules are Q-suplattices [My Copy] (25 Sep 2008) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:13:06 as
	Functional Programming with Apomorphisms [My Copy] In In 9th Nordic Workshop on Programming Theory (1997) by Varmo Vene, Tarmo Uustalu posted to category_theory functional_programming by christiankissig on 2008-10-31 09:19:42 as
	Sheaves in Geometry and Logic. S. Mac Lane and I. Moerdijk, Springer, 627 pp. [My Copy] Advances in Mathematics (March 1994), pp. 315-315. by G. C. Rota posted to category_theory topoi by christiankissig on 2008-07-10 22:04:14 as
	Handbook of Categorical Algebra [My Copy] (1994) by Francois Borceux posted to category_theory by christiankissig on 2008-07-02 09:40:00 as
	Higher Topos Theory [My Copy] (2 Aug 2006) by Jacob Lurie posted to category_theory by christiankissig on 2008-07-01 17:15:49 as along with 3 people ansobol jrw proportional
	On finding small solutions of modular multivariate polynomial equations [My Copy] Advances in Cryptology — EUROCRYPT'98 (1998), pp. 158-170. by Charanjit Jutla posted to polynomial_equation elliptic_curves cryptography by christiankissig on 2009-11-22 19:57:48 as
	Finding a Small Root of a Univariate Modular Equation [My Copy] Advances in Cryptology — EUROCRYPT ’96 (1996), pp. 155-165. by Don Coppersmith posted to polynomial_equation elliptic_curves by christiankissig on 2009-11-22 19:56:29 as
	Graphical Reasoning in Compact Closed Categories for Quantum Computation [My Copy] (3 Feb 2009) by Lucas Dixon, Ross Duncan posted to quantum_computing monoidal_categories graph_theory by christiankissig on 2009-11-11 18:42:51 as along with 2 people pqnelson jrw
	On the Classification of Topological Field Theories [My Copy] (4 May 2009) by Jacob Lurie posted to topological_field_theory by christiankissig on 2009-11-10 14:32:10 as along with 3 people jrw NitinCR crescent
	On finitely generated profinite groups II, products in quasisimple groups [My Copy] (18 Apr 2006) by Nikolay Nikolov, Dan Segal posted to profinite_groups by christiankissig on 2009-11-10 06:32:58 as
	On finitely generated profinite groups I: strong completeness and uniform bounds [My Copy] (18 Apr 2006) by Nikolay Nikolov, Dan Segal posted to profinite_groups by christiankissig on 2009-11-10 06:32:36 as along with 2 people hmanuelp larki
	Semimodule Enrichment [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 218 (22 October 2008), pp. 193-208. by C. Heunen posted to physics enriched_category_theory category_theory by christiankissig on 2009-11-02 13:36:49 as
	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
	Coinductive Counting With Weighted Automata [My Copy] (2002) by J. J. M. M. Rutten posted to trace_semantics automata by christiankissig on 2009-10-08 16:58:51 as
	Monads on symmetric monoidal closed categories [My Copy] Archiv der Mathematik, Vol. 21, No. 1. (1 December 1970), pp. 1-10. by Anders Kock posted to symmetric_monoidal monads closed_categories by christiankissig on 2009-10-06 17:25:41 as along with 1 person TooMuchCoffeeMan
	Absolute Lax 2-categories [My Copy] Applied Categorical Structures, Vol. 14, No. 3. (1 June 2006), pp. 191-214. by Marco Grandis posted to algebraic_topology by christiankissig on 2009-09-22 13:14:40 as
	Directed Homotopy Theory, II. Homotopy Constructs [My Copy] Theory Appl. Categ, Vol. 10 (2002), pp. 369-391. by Marco Grandis posted to homotopy by christiankissig on 2009-09-22 13:11:36 as
	Directed Homotopy Theory, I. The Fundamental Category [My Copy] Topol. Géom. Différ. Catég, Vol. 44 (2001), pp. 281-316. by Marco Grandis, Rsum La, Topologie A. Dirige posted to homotopy by christiankissig on 2009-09-22 13:11:00 as
	A Structural Approach to Operational Semantics [My Copy] No. DAIMI FN-19. (1981) by G. D. Plotkin posted to file-import-09-09-22 by christiankissig on 2009-09-22 12:15:53 as
	Bisimulation can't be traced [My Copy] J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268. by Bard Bloom, Sorin Istrail, Albert R. Meyer posted to sos gsos by christiankissig on 2009-09-22 11:35:32 as along with 3 people keigoi numba37 msakai
	Semantics of Name and Value Passing [My Copy] In Proc. 16th LICS (2001), pp. 93-104. by Marcelo Fiore, Daniele Turi posted to no-tag by christiankissig on 2009-09-21 14:10:35 as
	A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems [My Copy] Mathematical. Structures in Comp. Sci., Vol. 18, No. 1. (2008), pp. 29-55. by Marco Bernardo, Stefania Botta posted to no-tag by christiankissig on 2009-09-21 14:10:27 as
	Compositionality of Hennessy–Milner logic by structural operational semantics [My Copy] Theoretical Computer Science, Vol. 354, No. 3. (04 April 2006), pp. 421-440. by W. Fokkink, R. Glabbeek, P. Dewind posted to no-tag by christiankissig on 2009-09-21 14:09:41 as
	Multi-bimodels [My Copy] Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 40, No. 4. (1999), pp. 284-296. by Enrico M. Vitale posted to category_theory by christiankissig on 2009-07-31 08:59:38 as
	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads [My Copy] Journal of pure and applied algebra, Vol. 89, No. 1. (1993), pp. 163-179. by Gregory M. Kelly, A. John Power posted to category_theory monad by christiankissig on 2009-07-24 10:35:22 as
	Computational lambda-calculus and monads [My Copy] In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 14-23. by E. Moggi posted to commutative_monads monad_strength monads by christiankissig on 2009-07-19 19:34:34 as along with 1 person mstone
	Building Closed Categories [My Copy] Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 19, No. 2. (1978), pp. 115-129. by Michael Barr posted to closed_categories monoidal_categories by christiankissig on 2009-07-18 18:48:32 as
	Presentation of Set Functors: A Coalgebraic Perspective [My Copy] J Logic Computation (12 February 2009), exn090. by J. Adamek, H. P. Gumm, V. Trnkova posted to functor_presentation by christiankissig on 2009-07-15 17:31:36 as along with 1 person leemond31
	22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings [My Copy] In LICS (2007) posted to category_theory pi_calculus by christiankissig on 2009-07-14 06:44:30 as
	Pi-Calculus in Logical Form [My Copy] In LICS (2007), pp. 303-312. by Marcello M. Bonsangue, Alexander Kurz posted to category_theory pi_calculus by christiankissig on 2009-07-14 06:44:29 as
	Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings [My Copy] In FoSSaCS, Vol. 3921 (2006) edited by Luca Aceto, Anna Ingólfsdóttir posted to algebra category_theory functor_representation functors by christiankissig on 2009-07-14 06:41:55 as
	Presenting Functors by Operations and Equations [My Copy] In FoSSaCS, Vol. 3921 (2006), pp. 172-186. by Marcello M. Bonsangue, Alexander Kurz edited by Luca Aceto, Anna Ingólfsdóttir posted to algebra category_theory functor_representation functors by christiankissig on 2009-07-14 06:41:54 as
	A note on algebraic categories [My Copy] Archivum Mathematicum (1981) by Jiri Rosicky posted to algebra algebraic_categories functors by christiankissig on 2009-07-13 19:42:38 as
	A Basic Distributive Law [My Copy] Journal of Pure and Applied Algebra, Vol. 168 (0), pp. 209-226. by F. Marmolejo, R. D. Rosebrugh, R. J. Wood posted to distributive_laws monads by christiankissig on 2009-07-13 08:56:06 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 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 library 535 articles Export

christiankissig's tags