M. Barr and C. Wells. Category Theory for Computing Science. London: Prentice-Hall, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Feature Logics and refinement - Marc Aiguier Place (Correct)
Using Axiomatic Specifications for Hardware - System Design Marc (Correct)
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
Fundamenta Informaticae XX (2004) 1--31 1 IOS Press - Feature Specification.. (Correct)
Feature re - Nement Way To (Correct)
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
A System for Semantic Integration of Geologic Maps via Ontologies - Lin, Ludäscher (Correct)
Computational Effects and Operations: An Overview - Plotkin, Power (2002) (Correct)
Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (1 citation) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (2004) (5 citations) (Correct)
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (2004) (12 citations) (Correct)
Mathematics of Multisets Apostolos Syropoulos - Department Of Civil (Correct)
A New Framework For Declarative Programming - Finkelstein, Freyd, Lipton (2003) (1 citation) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
EVORM: A Conceptual Modelling Technique for Evolving.. - Proper, van der Weide (1994) (Correct)
Optimization Problems Categories - Liara Aparecida Dos (Correct)
New Semantics for the Simply Typed - Calculus Logic And (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
A System for Web Based Instruction Using . . . - Machado, al. (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC