新規登録 | ログイン | FAQ      [?] 

タグ: categorical [69 articles]

Recent papers classified by the tag categorical.
  • A dialectica model of state
    (1996)
    by M Correa, E Haeusler, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:52:40 as read
  • Glueing and orthogonality for models of linear logic
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:45:54 as read
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    No. CSR-01-7. (2001)
    by Maria E Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic semantics by vcvpaiva on 2005-11-19 17:00:10 as read along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • A categorical version of the Brouwer--Heyting--Kolmogorov interpretation
    by Erik Palmgren
    posted to cat categorical lextensiva logic by vcvpaiva on 2005-11-19 16:39:09 as read
  • Some semantical aspects of linear logic
    (1996)
    by A Blass
    posted to algebraic categorical linear logic by vcvpaiva on 2006-01-16 16:01:28 as ** along with 2 people dmitri83 scis0000001
  • Categorical Models for Intuitionistic and Linear Type Theory
    Lecture Notes in Computer Science, Vol. 1784 (2000)
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:01:55 as read
  • Poset-valued sets or How to build models for Linear Logics
    (2001)
    by A Schalk, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:51:28 as read
  • A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic
    by Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:59 as read
  • Categorical Models of Explicit Substitutions
    (1999), pp. 197-211.
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to categorical explicit-subs own by vcvpaiva on 2005-11-19 17:13:25 as read
  • Syntactic Multicategories and Categorical Combinators for Linear Logic
    (1993)
    by E Ritter, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:11:51 as read along with 1 person and 1 group rgb pileWorks
  • Dialectica and Chu Constructions: Cousins?
    by Valeria de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:26 as read
  • Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
    by Gianluigi Bellin, Valeria de Paiva, Eike Ritter
    posted to categorical logic modal by vcvpaiva on 2005-11-19 16:57:25 as read along with 1 person kozima
  • Games on Graphs and Sequentially Realizable Functionals
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:48:21 as ***
  • Delayed recognition memory for orientation by human infants
    Journal of Experimental Child Psychology, Vol. 40, No. 2. (October 1985), pp. 293-303.
    by Paul C Quinn, Einar R Siqueland, Paul C Bomba
    posted to categorical orientation perception by topg on 2007-11-09 23:36:06 as **
  • Are facial expressions of emotion produced by categorical affect programs or dynamically driven by appraisal?
    Emotion (Washington, D.C.), Vol. 7, No. 1. (February 2007), pp. 113-130.
    by KR Scherer, H Ellgring
    posted to appraisal categorical discrete dynamic emotion theories by tessaverhoef on 2008-05-31 16:51:00 as read
  • The measurement of observer agreement for categorical data.
    Biometrics, Vol. 33, No. 1. (March 1977), pp. 159-174.
    by JR Landis, GG Koch
    posted to agreement categorical statistical stattistics by simdoc on 2008-07-15 14:59:58 as ** along with 2 people aklassen eegilbert
  • A categorical model for the geometry of interaction
    Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 252-274.
    by Esfandiar Haghverdi, Philip Scott
    posted to categorical geometry-of-interaction interaction linear-logic by Scis0000002 on 2007-08-03 13:39:03 as **
  • A Categorical Axiomatics for Bisimulation
    (1998), pp. 581-596.
    by Gian L Cattani, John Power, Glynn Winskel
    posted to axiomatics axiomatization bisimulation categorical by Scis0000002 on 2007-07-14 13:43:49 as **
  • Categorical Term Rewriting: Monads and Modularity
    by Christoph Lüth
    posted to categorical modularity monads rewriting by Scis0000002 on 2007-08-30 18:42:55 as ** along with 2 people scis0000001 glaubersp
  • Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
    Logic Jnl IGPL, Vol. 12, No. 4. (1 July 2004), pp. 313-333.
    by George Voutsadakis
    posted to abstract-algebraic-logic categorical equational-logic by Scis0000002 on 2007-08-17 14:47:13 as **
  • Categorical shape theory as a formal language for pattern recognition?
    Annals of Mathematics and Artificial Intelligence, Vol. 10, No. 1. (1 March 1994), pp. 25-54.
    by Timothy Porter
    posted to categorical category-theory shape-theory by scis0000001 on 2007-05-09 23:12:22 as **
  • A Categorical Axiomatics for Bisimulation
    (1998), pp. 581-596.
    by Gian L Cattani, John Power, Glynn Winskel
    posted to categorical bisimulation by scis0000001 on 2007-02-05 12:19:08 as **
  • What is Unification? A Categorical View of Substitution, Equation and Solution
    (1989), pp. 217-261.
    by Joseph Goguen
    edited by Maurice Nivat, Hassan A Kaci
    posted to unification substitution resolution categorical by scis0000001 on 2007-02-04 15:21:36 as ** along with 2 people fritzobermeyer popx
  • Maps II: Chasing diagrams in categorical proof theory
    by D Pavlovic
    posted to categorical categorical-proof-theory diagram-chasing diagrammatic-reasoning proof-theory by scis0000001 on 2006-09-29 08:50:47 as **
  • Categorical Fixed Point Calculus
    Vol. 953 (1995), pp. 159-179.
    by Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude
    edited by D Pitt, DE Rydeheard, P Johnstone
    posted to calculus categorical fixed-point by scis0000001 on 2007-04-07 01:49:29 as ** along with 1 person jrw
  • A Categorical Approach to Simulations
    : Algebra and Coalgebra in Computer Science (2005), pp. 313-330.
    by Miguel Palomino, José Meseguer, Narciso Martí-Oliet
    posted to categorical category-theory institutions parchments simulation temporal-logic temporal-logic-institution by scis0000001 on 2007-04-07 01:56:47 as ** along with 1 person jrw
  • Categorical Models of Constructive Logic
    by Thomas S Fachbereich
    posted to categorical constructive-logic by scis0000001 on 2007-05-09 22:23:59 as **
  • An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
    The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 469-486.
    by Martin Hofmann
    posted to categorical semantics by scis0000001 on 2006-09-26 10:51:55 as **
  • Logical foundations of functional programming
    (1990)
    by Gérard Huet
    edited by G&\#233;rard Huet
    posted to categorical functional-programming logics by scis0000001 on 2006-12-29 14:00:16 as **
  • Process Semantics of Temporal Logic Specification
    Vol. LNCS 655 (1993), pp. 236-253.
    by J Fiadeiro, JF Costa, A Sernadas, T Maibaum
    edited by M Bidoit, C Choppy
    posted to temporal-logic temporal semantics process logic categorical by scis0000001 on 2007-01-27 14:30:22 as **
  • A Unifying Framework for Conceptual Data Modelling Concepts
    Information and Software Technology, Vol. 39, No. 1. (1997), pp. 15-25.
    by PJM Frederiks, Ter AHM Hofstede, E Lippe
    posted to categorical data framework modeling by scis0000001 on 2006-12-09 14:10:18 as **
  • Categorical Semantics of Parallel Program Design
    Science of Computer Programming, Vol. 28, No. 2-3. (1997), pp. 111-138.
    by Jose L Fiadeiro, TSE Maibaum
    posted to categorical cathegory-theory distributed semantics by scis0000001 on 2007-03-11 16:47:40 as ** along with 1 person jrw
  • A categorical outlook on relational modalities and simulations
    (2002)
    by C Hermida
    posted to categorical category-theory simulation by scis0000001 on 2007-04-07 01:44:02 as ** along with 1 person jrw
  • Object Interaction
    (1992), pp. 200-208.
    by Jose F Costa, Amilcar Sernadas, Cristina Sernadas, Hans D Ehrich
    posted to interaction categorical by scis0000001 on 2007-01-28 00:25:36 as ** along with 2 people and 1 group mahler bonotake Rightscom
  • A Survey of Categorical Computation: Fixed Points, Partiality, Combinators ... Control?
    Bulletin of the European Association for Theoretical Computer Science, Vol. 43 (1991), pp. 285-312.
    by D Spencer
    posted to categorical computation by scis0000001 on 2007-05-09 22:17:28 as ** along with 1 person glaubersp
  • A Categorical Quantum Logic
    ArXiv Quantum Physics e-prints (December 2005)
    by S Abramsky, R Duncan
    posted to categorical closed-categories quantum-logic by scis0000001 on 2007-04-15 13:50:15 as ** along with 1 person jrw
  • Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic
    Mathematical Structures in Computer Science, Vol. 4, No. 2. (1994), pp. 117-146.
    by Peter MW Knijnenburg, Frank Nordemann
    posted to categorical hyperdoctrine partial by scis0000001 on 2007-05-09 22:17:55 as **
  • A Curry-Howard Isomorphism for Compilation and Program Execution
    (1999), pp. 280-294.
    by Atsushi Ohori
    posted to categorical curry-howard curry-howard-isomorphism programming by scis0000001 on 2006-12-29 14:15:10 as **
  • A categorical programming language
    (1987)
    by Tatsuya Hagino
    posted to categorical category-theory computational-category-theory language programming-language by scis0000001 on 2006-09-23 13:48:19 as ** along with 1 person msakai
  • Axiomatizability in inclusive equational logics
    Mathematical. Structures in Comp. Sci., Vol. 12, No. 5. (October 2002), pp. 541-563.
    by Grigore Ro&\#351;u
    posted to axiomatizability categorical categorification equational-logic by scis0000001 on 2007-05-10 10:30:53 as **
  • Categorical Models for Concurrency: Independence, Fairness and Dataflow
    by Thomas T Hildebrandt
    posted to concurrency categorical by scis0000001 on 2007-02-03 15:21:07 as ** along with 1 person jrw
  • A categorical semantics of quantum protocols
    (30 Apr 2004)
    by Samson Abramsky, Bob Coecke
    posted to categorical protocol qip semantics by scis0000001 on 2007-04-15 13:48:24 as ** along with 4 people jrw greg_restall dmitri83 eswar_physics
  • A categorical axiomatisation of region-based geometry
    (2001)
    by B Bennett
    posted to axiomatisation categorical geometry region by scis0000001 on 2006-11-21 08:43:04 as **
  • A Categorial Theory of Objects as Observed Processes
    (1991), pp. 203-228.
    by Hans-Dieter Ehrich, Joseph A Goguen, Am&\#237;lcar Sernadas
    posted to process category-theory categorical by scis0000001 on 2007-01-28 00:13:28 as ** along with 1 person flavian_vasile
  • Complete categorical equational deduction
    (2001)
    by G Rosu
    posted to categorical equational by scis0000001 on 2007-03-12 14:31:35 as **
  • Parallel sets: visual analysis of categorical data
    Information Visualization, 2005. INFOVIS 2005. IEEE Symposium on (2005), pp. 133-140.
    by Fabian Bendix, Robert Kosara, Helwig Hauser
    posted to categorical data by rkosara on 2007-03-10 03:54:33 as read along with 3 people and 2 groups ianturton lucaspanjer hzsong CHISEL SEGAL
  • Parallel Sets: interactive exploration and visual analysis of categorical data
    Visualization and Computer Graphics, IEEE Transactions on, Vol. 12, No. 4. (2006), pp. 558-568.
    by R Kosara, F Bendix, H Hauser
    posted to categorical data visualization by rkosara on 2007-03-10 04:01:41 as read
  • Conceptual Data Modeling from a Categorical Perspective
    The Computer Journal, Vol. 39, No. 3. (1996), pp. 215-231.
    by Ter AHM Hofstede, E Lippe, PJM Frederiks
    posted to categorical category conceptual data modeling perspective theory by pilho on 2006-04-28 03:29:49 as *****
  • Analyzing Categorical Data
    Mathematical Geology, Vol. 37, No. 2. (February 2005), pp. 223-225.
    by Thomas Jones
    posted to categorical by li on 2007-01-13 01:09:55 as ***
  • Distance functions for categorical and mixed variables
    Pattern Recognition Letters, Vol. 29, No. 7. (1 May 2008), pp. 986-993.
    by Brendan Mccane, Michael Albert
    posted to categorical distance by jjrodriguez on 2008-03-24 10:12:40 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/categorical

    Result page: 1 2 Next RIS BibTeX
    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.