Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

jimburton's category-theory [4 articles] Export

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

Hide details

	Category Theory for Computing Science [My Copy] (25 August 1999) by Michael Barr, Charles Wells posted to category-theory by jimburton on 2009-07-08 01:26:34 as along with 3 people pedagand ds mmarcus
	A Diagrammatic Logic for Object-Oriented Visual Modeling [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 203, No. 6. (21 November 2008), pp. 19-41. by Z. Diskin, U. Wolter posted to category-theory diagrams logic by jimburton on 2008-12-05 11:14:52 as
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to category-theory haskell type-theory by jimburton on 2008-04-22 12:48:14 as along with 6 people and 1 group ama08r talototo spl draganigajic hellige msakai Lambda the Ultimate
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted to category-theory type-theory by jimburton on 2008-02-26 14:25:50 as along with 12 people and 1 group pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds Lambda the Ultimate

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's category-theory [4 articles] Export

jimburton's tags