christiankissig's Coecke:B [21 articles] Export

Recent papers posted to christiankissig's library by the author Coecke:B. You can also see everyone's Coecke:B.

	Interacting Quantum Observables [My Copy] Automata, Languages and Programming (2008), pp. 298-310. by Bob Coecke, Ross Duncan posted to dagger_frobenius_algebras by christiankissig on 2009-06-18 20:35:21 as
	Quantum measurements without sums [My Copy] (3 Aug 2006) by Bob Coecke, Dusko Pavlovic posted to dagger_frobenius_algebras quantum_logics quantum_operator_algebras by christiankissig on 2009-06-18 20:34:13 as along with 4 people jrw proportional jamievicary msakai
	Bases in Diagrammatic Quantum Protocols [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 218 (2008), pp. 131-152. by Bob Coecke, Simon Perdrix, \ éric O. Paquette posted to dagger_frobenius_algebras by christiankissig on 2009-06-18 20:33:28 as
	Scalar Inverses in Quantum Structuralism [My Copy] No. RR-08-03. (2008) by Bob Coecke, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	Classical and Quantum Structures [My Copy] No. RR-08-02. (2008) by Bob Coecke, Eric O. Paquette, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	Complete Positivity without Positivity and Without Compactness [My Copy] No. RR-07-05. (September 2007) by Bob Coecke posted to no-tag by christiankissig on 2009-06-16 10:08:08 as
	Quantum measurements without sums [My Copy] No. RR-06-02. (July 2006) by Bob Coecke, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	The Group Theoretic Origin of Non-Locality For Qubits [My Copy] No. RR-09-04. (2009) by Bob Coecke, Bill Edwards, Rob Spekkens posted to quantum_logics by christiankissig on 2009-06-16 10:08:07 as
	The Logic of Entanglement. An invitation. (Version 0.9999) [My Copy] No. RR-03-12. (October 2003) by Bob Coecke posted to category_theory monoidal_categories physics quantum_logics by christiankissig on 2009-06-16 10:08:07 as
	A Categorical semantics of Quantum Protocols [My Copy] No. RR-04-02. (2004) by Samson Abramsky, Bob Coecke posted to category_theory monoidal_categories physics quantum_logics by christiankissig on 2009-06-16 10:05:21 as
	Physics from Computer Science [My Copy] In International Journal of Unconventional Computing, Vol. 3, No. 3. (2007), pp. 179-197. by S. Abramsky, B. Coecke posted to file-import-samson-abramsky by christiankissig on 2009-06-16 10:05:18 as
	Abstract Physical Traces [My Copy] In Theory and Applications of Categories, Vol. 14 (2005), pp. 111-124. by S. Abramsky, B. Coecke posted to file-import-samson-abramsky by christiankissig on 2009-06-16 10:05:18 as
	A Categorical Semantics of Quantum Protocols [My Copy] In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004 (2004), pp. 415-425. by S. Abramsky, B. Coecke posted to file-import-samson-abramsky by christiankissig on 2009-06-16 10:05:18 as
	Physical Traces: Quantum vs. Classical Information Processing [My Copy] In Electronic Notes in Theoretical Computer Science, Vol. 69 (2003), pp. 1-26. by S. Abramsky, B. Coecke posted to file-import-samson-abramsky by christiankissig on 2009-06-16 10:05:18 as
	Abstract physical traces [My Copy] Theory and Applications of Categories, Vol. 14 (2005), pp. 111-124. by Samson Abramsky, Bob Coecke, Coecke Ctcs posted to category_theory physics quantum_logic quantum_operator_algebras traces by christiankissig on 2009-06-15 12:55:59 as
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted to category_theory physics quantum_logic by christiankissig on 2009-06-12 18:47:04 as along with 6 people pqnelson jrw greg_restall dmitri83 scis0000001 eswar_physics
	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
	University of Geneva, [My Copy] by Bob Coecke, David Moore, Quai Ernest-Ansermet, Ch- Geneva, Alexander Wilce posted to enriched_category_theory quantum_logic by christiankissig on 2008-10-29 13:45:19 as
	Quantum measurements without sums [My Copy] In Mathematics of Quantum Computing and Technology (2007) by B. Coecke, D. Pavlovic edited by G. Chen, L. Kauffman, S. Lamonaco posted to physics quantum_logic by christiankissig on 2008-07-12 17:14:41 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/author/Coecke:B

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
game_theory	11
monoidal_categories	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
csp	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	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
cryptography	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
graph_theory	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
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 Coecke:B [21 articles] Export

christiankissig's tags