M. Barr and C. Wells. Category Theory for Computing Science. London: Prentice-Hall, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Feature Logics and refinement - Marc Aiguier Place (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. London: Prentice-Hall, 1990.
Using Axiomatic Specifications for Hardware - System Design Marc (Correct)
No context found.
M. Barr, and C. Wells, : "Category Theory for Computing Science", Prentice-Hall, 1990.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. PrenticeHall, 1990.
Fundamenta Informaticae XX (2004) 1--31 1 IOS Press - Feature Specification.. (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, 1990.
Feature re - Nement Way To (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. London: PrenticeHall, 1990.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science. Les Publications CRM, Montreal, third edition, 1999.
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science (second edition). Prentice-Hall International, London, 1995.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science. Les Publications CRM, Montreal, third edition, 1999.
A System for Semantic Integration of Geologic Maps via Ontologies - Lin, Ludäscher (Correct)
No context found.
Barr, M., and Wells, C. 1990. Category Theory for Computing Science. Prentice-Hall.
Computational Effects and Operations: An Overview - Plotkin, Power (2002) (Correct)
No context found.
M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall, 1990.
Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
No context found.
M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall, 1990.
Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (1 citation) (Correct)
No context found.
M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall, 1990.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990.
Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (2004) (5 citations) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1990. 25
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1990.
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science, Third Edition. Les Publications CRM, 1999.
A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (2004) (12 citations) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1990.
Mathematics of Multisets Apostolos Syropoulos - Department Of Civil (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science. Les Publication CRM, Montreal, third edition, 1999.
A New Framework For Declarative Programming - Finkelstein, Freyd, Lipton (2003) (1 citation) (Correct)
No context found.
M. Barr, C.Wel#x Category Theory for Computing Science,Prentice-Half Engltice Cllt NJ, 1990.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990.
EVORM: A Conceptual Modelling Technique for Evolving.. - Proper, van der Weide (1994) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1990.
Optimization Problems Categories - Liara Aparecida Dos (Correct)
No context found.
BARR, M. and WELLS, C. Category Theory for Computing Science. New York: Prentice Hall, 1990. 432p.
New Semantics for the Simply Typed - Calculus Logic And (Correct)
No context found.
Barr, M., Wells, C., \Category Theory For Computing Science", Montreal: Les Publications CRM, 1999.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall International, 1990.
A System for Web Based Instruction Using . . . - Machado, al. (Correct)
No context found.
Michael Barr, Charles Wells. Category Theory for Computing Science. Prentice Hall. USA, 1990.
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