aleks's category-theory [20 articles] Export Sort

Recent papers added to aleks's library classified by the tag category-theory. You can also see everyone's category-theory.

Hide details

	A Categorical Quantum Logic [My Copy] ArXiv Quantum Physics e-prints (15 Dec 2005) by Samson Abramsky, Ross Duncan posted to category-theory logic monoidal semantics by aleks on 2009-08-10 15:49:47 as along with 2 people jrw scis0000001
	Categorical quantum mechanics [My Copy] (7 Aug 2008) by Samson Abramsky, Bob Coecke posted to category-theory dagger monoidal quantum by aleks on 2009-08-10 15:48:24 as along with 4 people egcavalcanti pqnelson jrw eswar_physics
	Quantum Computation, Categorical Semantics and Linear Logic [My Copy] (17 Feb 2007) by André van Tonder, Miquel Dorca posted to category-theory lambda-calculus quantum semantics by aleks on 2009-08-10 15:46:52 as along with 2 people jrw tov
	Interacting Quantum Observables: Categorical Algebra and Diagrammatics [My Copy] (25 Jun 2009) by Bob Coecke, Ross Duncan posted to category-theory entanglement frobenius quantum red-green by aleks on 2009-08-10 14:49:02 as along with 2 people egcavalcanti jrw
	Superqubits [My Copy] (5 Aug 2009) by L. Borsten, D. Dahanayake, M. J. Duff, W. Rubens posted to category-theory entanglement quantum supersymmetry by aleks on 2009-08-10 13:55:05 as along with 2 people and 1 group Duminda_Dahanayake linchen Black Holes and Quantum Information
	Freudenthal triple classification of three-qubit entanglement [My Copy] (9 Apr 2009) by L. Borsten, D. Dahanayake, M. J. Duff, W. Rubens, H. Ebrahim posted to category-theory entanglement quantum by aleks on 2009-08-10 13:51:13 as along with 3 people and 1 group willrubens Duminda_Dahanayake linchen Black Holes and Quantum Information
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to category-theory functional-programming by aleks on 2006-04-20 23:03:19 as along with 12 people and 3 groups ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 rgb bringert wtribbey spl SRG_at_UCD Compilers pileWorks
	Categorical Geometry and the Mathematical Foundations of Quantum General Relativity [My Copy] (28 Feb 2006) by Louis Crane posted to category-theory physics relativity topology by aleks on 2006-04-20 23:02:04 as along with 2 people and 1 group jrw proportional Compilers
	ΓCMC: A Novel Way of Compiling Functional Languages [My Copy] No. 19-92*. (July 1992) by Rafael D. Lins, Bruno O. Lira posted to architecture assembly category-theory by aleks on 2006-04-20 23:00:44 as along with 3 people and 1 group JeffreyPalmer jrw tautologico Compilers
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to category-theory formal-methods functional-programming by aleks on 2006-04-20 22:57:08 as along with 7 people and 2 groups ama08r spl pedagand voigt p1738j Benja paper_jac ConcertRG Compilers
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory lambda-calculus by aleks on 2006-04-20 22:55:35 as along with 10 people and 1 group kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 EdwardKmett Benja mcclurmc Compilers
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted to category-theory by aleks on 2006-04-20 22:54:42 as along with 3 people and 1 group Scis0000002 msakai scis0000001 Compilers
	Formal Languages in Dynamical Systems [My Copy] (21 May 1993) by G. Troll posted to automata category-theory computation language by aleks on 2006-04-20 22:53:05 as along with 6 people and 1 group Scis0000002 pqnelson ansobol jrw BarrosH scis0000001 Compilers
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category-theory logic by aleks on 2006-04-20 22:51:54 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	A Gentle Introduction to Category Theory --- the calculational approach [My Copy] In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992) by M. M. Fokkinga posted to applied category-theory lecture-notes by aleks on 2006-04-18 21:13:43 as along with 2 people and 1 group michaelbanks pedagand Compilers
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted to category-theory lambda-calculus types by aleks on 2006-04-18 21:10:17 as along with 5 people and 1 group pedagand robotact AbnerCYH alec masteraka Compilers
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted to category-theory by aleks on 2006-04-18 20:57:35 as along with 13 people and 2 groups robotact shivak pedagand ansobol mahler BarrosH msakai bonotake mstone NitinCR conal masteraka mmarcus Rightscom Compilers
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] (15 Nov 2005) by David Ellerman posted to category-theory formal-methods by aleks on 2006-04-18 14:23:29 as along with 4 people and 2 groups greg_restall Kevembuangga scis0000001 noam_zeilberger Impending_AI_breakthrough Compilers
	Categories and Computer Science [My Copy] (1991) by R. F. C. Walters posted to category-theory by aleks on 2006-04-18 14:14:32 as along with 1 group Compilers
	Basic Category Theory for Computer Scientists [My Copy] (1991) by Benjamin C. Pierce posted to category-theory textbook by aleks on 2006-04-18 14:14:31 as along with 1 group Compilers

Note: You may cite this page as: http://www.citeulike.org/user/aleks/tag/category-theory

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

static-analysis	59
formal-methods	24
java	21
category-theory	20
selinux	11
quantum	9
c	8
logical-programming	8
commercial	8
bdd	8
algebra	8
vulnerability	8
security	7
pi-calculus	6
entanglement	6
information-flow	6
kleene	6
bug-checker	5
datalog	5
flask	4
distributed-systems	4
joeq	4
kat	4
access-control	4
functional-programming	4
program-proving	4
mac	4
policy	4
language	3
semantics	3
logic	3
multipartite	3
mitre	3
slat	3
lambda-calculus	3
linux	3
risk-management	3
compilers	3
audit	3
rbac	3
mimesis	3
abstract-interpretation	3
image-compression	2
architecture	2
dynamic-analysis	2
4-qubit	2
monoidal	2
analysis	2
greek	2
lsm	2
cqual	2
inductive	2
proof-trees	2
types	2
textbook	2
calculus	2
stanford	2
mops	2
lexical	2
philosophy	2
plato	2
vulnerabilities	2
code-browsing	1
microsoft	1
model-checking	1
knowledge-base	1
axiomatic	1
machine-learning	1
automata	1
assembly	1
state-machines	1
database	1
haskell	1
validation	1
red-green	1
framework	1
weakest-precondition	1
jpeg	1
process	1
media	1
topology	1
dagger	1
bytecode	1
pql	1
eager	1
binary	1
xml	1
linear	1
security-models	1
dct	1
lint	1
open-source	1
survey	1
optimization	1
image-processing	1
symmetric	1
fuzzy-system	1
capabilities	1
change-impact	1
deductive-databases	1
tools	1
unix	1
tresys	1
grammar	1
lecture-notes	1
concurrency	1
taint	1
languages	1
bayesian	1
design-patterns	1
web-services	1
internet	1
reflection	1
classic	1
intranet	1
rats	1
high-level-language	1
modular	1
te	1
efficiency	1
lightweight	1
kernel	1
lattices	1
relativity	1
management	1
project-management	1
ipc	1
frobenius	1
supersymmetry	1
points-to	1
distributed-system	1
versioning	1
trust	1
aspect-oriented	1
applied	1
cache	1
complexity-theory	1
rings	1
slocc	1
software-engineering	1
hoare-logic	1
physics	1
computation	1

aleks's category-theory [20 articles] Export Sort

aleks's tags