glaubersp's category [29 articles] Export Sort

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

Hide details

	Data Categories [My Copy] In Proceedings Computing---The Australasian Theory Symp., CATS'96, Melbourne, Australia, 29--30 Jan 1996, Vol. 18 (1996), pp. 21-28. by Barry C. Jay edited by M. E. Houle, P. Eades posted to category datatypes by glaubersp on 2007-04-06 23:34:27 as
	Functorial Lambda-Calculus [My Copy] (2000) by C. B. Jay posted to category functional by glaubersp on 2007-04-06 23:33:48 as
	Recursive Types in Kleisli Categories [My Copy] (1992) by Alex K. Simpson posted to category recursion types by glaubersp on 2007-04-06 23:33:32 as
	Covariant types [My Copy] Theoretical Computer Science, Vol. 185, No. 2. (1997), pp. 237-258. by Barry C. Jay posted to category types by glaubersp on 2007-04-06 23:32:56 as
	Strong Categorical Datatypes I [My Copy] In Proceedings Int.\ Summer Category Theory Meeting, Montr\'eal, Qu{\'e}bec, 23--30 June 1991, Vol. 13 (1992), pp. 141-169. by Robin, Dwight Spencer edited by R. A. G. Seely posted to category datatypes by glaubersp on 2007-04-06 23:29:24 as along with 1 person msakai
	A Categorical Analysis of Multi-Level Languages [My Copy] (1999) by Benaissa, E. Moggi, W. Taha, T. Sheard posted to category by glaubersp on 2007-04-06 23:23:47 as
	Program calculation properties of continuous algebras [My Copy] (1991) by M. Fokkinga, E. Meijer posted to category by glaubersp on 2007-04-06 23:22:01 as along with 3 people msakai scis0000001 KarlKlose
	Control Categories and Duality: On the Categorical Semantics of the Lambda-Mu Calculus [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 2. (2001), pp. 207-260. by Peter Selinger posted to category lambda-calculus semantics by glaubersp on 2007-04-06 23:21:36 as
	Constructive Lattice Theory [My Copy] (1993) by Ronald Backhouse posted to category by glaubersp on 2007-04-06 23:21:06 as along with 1 person Constructivity
	Pointwise Relational Programming [My Copy] In AMAST: 8th International Conference on Algebraic Methodology and Software Technology (2000) by De Moor, Gibbons posted to category semantics by glaubersp on 2007-04-06 23:20:48 as
	A Guided Tour in the Topos of Graphs [My Copy] by Sebastiano Vigna posted to category graphs by glaubersp on 2007-04-06 23:19:09 as
	Classifying categories for partial equational logic [My Copy] (2002) by L. Schr posted to category equational-logic partial by glaubersp on 2007-04-06 23:18:52 as
	Graph-based logic and sketches ii: Finite product categories and equational logic [My Copy] (1997) by A. Bagchi, C. Wells posted to category by glaubersp on 2007-04-06 23:17:47 as along with 1 person education03
	A Survey of Categorical Computation: Fixed Points, Partiality, Combinators ... Control? [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 43 (1991), pp. 285-312. by D. Spencer posted to category by glaubersp on 2007-04-06 23:17:29 as along with 1 person scis0000001
	The categorical theory of self-similarity [My Copy] (1999) by P. Hines posted to category by glaubersp on 2007-04-06 23:15:04 as along with 1 person scis0000001
	A Category-Theoretic Characterization of Functional Completeness [My Copy] Theoretical Computer Science, Vol. 70, No. 2. (1990), pp. 193-211. by Giuseppe Longo, Eugenio Moggi posted to category functional by glaubersp on 2007-04-06 23:14:04 as
	Coalgebraic monads [My Copy] by N. Ghani, C. Uth, F. de Marchi posted to category monads by glaubersp on 2007-04-06 23:11:41 as
	Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic [My Copy] by Alexander Kurz posted to category by glaubersp on 2007-04-06 23:11:21 as
	Categorical Term Rewriting: Monads and Modularity [My Copy] by Christoph Lüth posted to category monads by glaubersp on 2007-04-06 23:10:40 as along with 2 people scis0000001 Scis0000002
	Logical Construction of Final Coalgebras [My Copy] by Luigi Santocanale posted to category by glaubersp on 2007-04-06 23:10:21 as
	Dualizing Initial Algebras [My Copy] by Neil Ghani, Christoph Lüth, Federico de Marchi, John Power posted to category monads by glaubersp on 2007-04-06 23:10:03 as
	Mendler-Style Inductive Types, Categorically [My Copy] Nordic Journal of Computing, Vol. 6, No. 3. (1999), pp. 343-361. by Tarmo Uustalu, Varmo Vene posted to category types by glaubersp on 2007-04-06 23:09:38 as
	Recursion Schemes from Comonads [My Copy] Nordic Journal of Computing, Vol. 8, No. 3. (Fall 2001), pp. 366-??. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted to category monads by glaubersp on 2007-04-06 23:09:21 as
	Functional Programming with Apomorphisms (Corecursion) [My Copy] Proceedings of the Estonian Academy of Sciences: Physics, Mathematics, Vol. 47, No. 3. (1998), pp. 147-161. by Varmo Vene, Tarmo Uustalu posted to category functional by glaubersp on 2007-04-06 23:08:45 as
	Generalizing Substitution [My Copy] by Tarmo Uustalu posted to category by glaubersp on 2007-04-06 23:08:10 as along with 1 person sclv
	Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad [My Copy] In Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (1995), pp. 210-224. by Wolfgang Gehrke edited by Jieh Hsiang posted to category monads by glaubersp on 2007-04-06 23:00:06 as
	Homomorphisms, Factorisation and Promotion [My Copy] No. RUU-CS-90-5. (1990) by N. Verwer posted to category by glaubersp on 2007-04-06 22:31:12 as
	Categorical Semantics as a Basis for Program Transformation [My Copy] No. RUU-CS-90-38. (1990) by N. Verwer posted to category by glaubersp on 2007-04-06 22:30:43 as
	Partial Morphisms in Categories of Effective Objects [My Copy] Information and Computation, Vol. 76, No. 2/3. (1988), pp. 250-277. by Eugenio Moggi posted to category by glaubersp on 2007-04-06 22:28:31 as

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

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

monads	48
category	29
functional	12
types	10
haskell	9
linear-logic	6
semantics	6
lambda-calculus	5
side-effects	4
concurrency	4
mobile	3
logic	3
continuations	3
datatypes	3
higher-order	3
isabelle	2
recursion	2
memory-management	2
partial	2
parallel	1
graphs	1
soundness	1
reflection	1
equational-logic	1
call-by-value	1
arrows	1
casl	1
prototyping	1
programming	1
categorical-logic	1
dsl	1
real-time	1
denotational-semantics	1
systemf	1
modal-logic	1
formal-methods	1
calculus-of-constructions	1
io	1
userinterface	1

glaubersp's category [29 articles] Export Sort

glaubersp's tags