mcclurmc's category-theory [11 articles] Export

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

Hide details

	Bananas in space: Extending fold and unfold to exponential types [My Copy] (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to category-theory programming-language-design by mcclurmc on 2008-08-14 22:01:58 as
	A Typed Lambda Calculus with Categorical Type Constructors [My Copy] In Category Theory and Computer Science (1987), pp. 140-157. by Tatsuya Hagino posted to category-theory lambda-calculus type-theory by mcclurmc on 2008-05-30 18:49:44 as
	An introduction to Category Theory in four easy movements [My Copy] (October 2005) by A. Schalk, H. Simmons posted to category-theory by mcclurmc on 2008-04-03 16:24:06 as
	Category Theory in COQ [My Copy] (1998) by A. Carvalho posted to category-theory coq type-theory by mcclurmc on 2008-04-02 15:10:35 as along with 3 people and 1 group scis0000001 Scis0000002 christiankissig Lambda the Ultimate
	The groupoid interpretation of type theory [My Copy] (1995) by M. Hofmann, T. Streicher posted to category-theory type-theory by mcclurmc on 2008-04-02 15:02:05 as along with 2 people and 1 group draganigajic Scis0000002 Lambda the Ultimate
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted to category-theory dependent-types semantics type-theory by mcclurmc on 2008-04-02 14:59:58 as along with 2 people and 1 group draganigajic jimburton Lambda the Ultimate
	Formalising Formulas-as-Types-as-Objects [My Copy] In TYPES '99: Selected papers from the International Workshop on Types for Proofs and Programs (2000), pp. 174-193. by Qiao Haiyan posted to category-theory curry-howard lambda-calculus by mcclurmc on 2008-03-07 17:32:59 as
	A Categorical Analysis of Multi-Level Languages (Extended Abstract) [My Copy] (1998) by Zine E. Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard posted to category-theory semantics by mcclurmc on 2008-01-26 17:33:24 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] No. CSR-01-7. (2001) by Maria E. Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter posted to category-theory logic by mcclurmc on 2008-01-26 04:21:49 as along with 1 person and 1 group vcvpaiva Lambda the Ultimate
	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 monads theory-computation by mcclurmc on 2007-12-27 04:17:04 as along with 10 people and 1 group kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja Compilers
	Computational category theory [My Copy] (1988) by David E. Rydeheard, Rod M. Burstall posted to category-theory by mcclurmc on 2007-12-13 16:44:12 as along with 1 person masteraka

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/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.

type-theory	40
concurrency	28
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
dsl	5
curry-howard	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's category-theory [11 articles] Export

mcclurmc's tags