jrw's Jacobs:B [8 articles] Export

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

	Quantum Logic in Dagger Categories with Kernels [My Copy] (13 Feb 2009) by Chris Heunen, Bart Jacobs posted to category-theory logic mathematics quantum by jrw on 2009-02-16 07:24:07 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 category-theory coalgebra computation by jrw on 2008-12-12 02:01:53 as along with 1 person christiankissig
	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
	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 category-theory coalgebra computation languages by jrw on 2008-12-12 01:51:50 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
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted to category-theory computation data-structures functional haskell languages mathematics printed by jrw on 2006-08-09 18:04:26 as along with 6 people and 1 group christiankissig zednenem oryp6518 mstone rgb cognominal pileWorks
	Distributive laws for the coinductive solution of recursive equations [My Copy] by Bart Jacobs posted to category-theory mathematics by jrw on 2005-09-13 21:04:52 as along with 1 person zednenem

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

physics	1514
quantum	1282
mathematics	1141
computation	638
quantum-information	479
quantum-computation	417
algebra	385
geometry	381
printed	363
category-theory	353
quantum-gravity	298
algorithms	285
languages	247
networks	210
fun	189
graphs	187
combinatorics	148
logic	134
functional	112
group-theory	96
classical-gravity	86
data-structures	65
experiment	62
permutations	51
gravity	50
information-theory	47
automata	46
lisp	43
causal-networks	41
endorsements	35
symmetry	33
bayesian	31
haskell	28
ai	26
history	26
knots	26
quantum-cosmology	26
string-theory	26
statistical-mechanics	25
blackholes	24
braids	21
relational-physics	21
thesis	18
number-theory	15
philosophy	12
topos-theory	12
concurrency	11
erlang	9
biology	8
process-networks	8
analysis	6
economics	6
coalgebra	5
dataflow	5
cosmology	4
brain	3
control-flow	3
galois-theory	3
lectures	3
process-physics	3
quantum-field-theory	3
representations	3
essay	2
policy	2
science	2
complexity	1
education	1
gauge-theory	1
groupoids	1
ml	1
operads	1
writing	1

jrw's Jacobs:B [8 articles] Export

jrw's tags