kozima's category [16 articles] Export

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

	Categorical characterization of the MacNeille completion [My Copy] Archiv der Mathematik, Vol. 18, No. 4. (30 September 1967), pp. 369-377. by B. Banaschewski, G. Bruns posted to category poset by kozima on 2009-04-09 16:10:33 as
	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 lambda-calculi monads by kozima on 2009-03-29 07:39:30 as along with 10 people and 1 group pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to category monads by kozima on 2009-03-28 03:21:15 as along with 4 people and 1 group robotact spl varming bfraser ConcertRG
	Coalgebras, Stone Duality, Modal Logic [My Copy] (August 2006) by Alexander Kurz posted to category coalgebra modal-logic by kozima on 2009-03-24 03:05:56 as
	Objects of Categories as Complex Numbers [My Copy] (30 Dec 2002) by Marcelo Fiore, Tom Leinster posted to algebra category by kozima on 2008-11-02 02:12:21 as
	A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) [My Copy] In CSL (1994), pp. 121-135. by P. N. Benton posted to category lambda-calculi linear-logic by kozima on 2008-05-28 16:08:43 as along with 1 person msakai
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted to category modal-logic by kozima on 2008-05-25 03:11:37 as along with 1 person and 1 group glaubersp complogic
	Logical modalities and multi-stage programming [My Copy] (1999) by Z. Benaissa, E. Moggi, W. Taha, T. Sheard posted to category lambda-calculi modal-logic temporal-logic by kozima on 2008-05-21 07:03:04 as
	Injective and Projective Heyting Algebras [My Copy] Transactions of the American Mathematical Society, Vol. 148, No. 2. (1970), pp. 549-559. by Raymond Balbes, Alfred Horn posted to algebra category by kozima on 2008-01-13 06:46:17 as
	Monad as modality [My Copy] Theoretical Computer Science, Vol. 175, No. 1. (1997), pp. 29-74. by Satoshi Kobayashi posted to category lambda-calculi modal-logic by kozima on 2007-11-17 07:50:40 as
	Pseudo-Distributive Laws and a Unified Framework for Variable binding [My Copy] (2004) by Miki Tanaka posted to algebra category by kozima on 2006-11-24 07:29:55 as
	Combining Logics [My Copy] (2000) by Carlos Caleiro posted to category uni-log by kozima on 2006-10-17 14:01:50 as
	Synchronization of Logics with Mixed Rules: Completeness Preservation [My Copy] In Algebraic Methodology and Software Technology (1997), pp. 465-478. by Amilcar Sernadas, Cristina Sernadas, Carlos Caleiro posted to category uni-log by kozima on 2006-10-17 13:31:18 as along with 1 person blog01
	Synchronization of Logics [My Copy] Studia Logica, Vol. 59, No. 2. (1997), pp. 217-247. by A. Sernadas, C. Sernadas, C. Caleiro posted to category uni-log by kozima on 2006-10-17 13:30:03 as along with 1 person scis0000001
	Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi [My Copy] In Typed Lambda Calculus and Applications (1997), pp. 196-213. by Masahito Hasegawa posted to category lambda-calculi by kozima on 2006-03-23 02:01:54 as along with 1 person iga
	Abstract Syntax and Variable Binding [My Copy] LICS (1999), pp. 193-202. by Marcelo Fiore, Gordon Plotkin, Daniele Turi posted to algebra category by kozima on 2006-03-19 13:08:49 as

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

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.

modal-logic	59
lambda-calculi	18
category	16
temporal-logic	15
kripke-semantics	11
algebra	8
monads	4
philosophy	4
programming	4
substructural-logic	4
uni-log	4
coalgebra	3
distributed-computation	3
parametricity	3
poset	3
type-system	3
abstract-syntax	2
dependency	2
duality	2
linear-logic	2
many-valued-logic	2
quantification	2
complexity	1
game-semantics	1
hybrid-logic	1
survey	1

kozima's category [16 articles] Export

kozima's tags