Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lars Birkedal (eds.) |
Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Paul Taylor 0002 |
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 247-296, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Lüdtke Ferreira, Leila Ribeiro 0001 |
A Graph-based Semantics For Object-oriented Programming Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 89-104, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Iterative Algebras for a Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 147-170, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Cáccamo, Glynn Winskel |
Limit Preservation from Naturality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 3-22, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 1-, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao |
A Coalgebraic Semantic Framework for Component-based Development in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 229-245, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 211-228, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Esfandiar Haghverdi, Philip J. Scott |
From Geometry of Interaction to Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 67-87, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Schalk, José Juan Palacios Pérez |
Concrete Data Structures as Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 193-210, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Maietti |
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 105-126, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Craig A. Pastro |
A Language For Multiplicative-additive Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 23-65, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Markus Michelbrink, Anton Setzer |
State Dependent IO-Monads in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 127-146, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Asynchronous Games 3 An Innocent Model of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 171-192, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Adjunction Models For Call-By-Push-Value With Stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 248-271, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boudes |
Non-Uniform Hypercoherences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 62-82, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard Blute, Peter Selinger |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 362-365, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Luigi Santocanale |
Induction, Coinduction, and Adjoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 101-119, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Maietti |
Joyal's arithmetic universes via type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 272-286, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paul Taylor 0002 |
Local Compactness and the Baire Category Theorem in Abstract Stone Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 323-345, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius |
On Iteratable Endofunctors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 287-304, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Coccia, Fabio Gadducci, Ugo Montanari |
GS.Lambda Theories: A Syntax for Higher-Order Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 83-100, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Koslowski |
A monadic approach to polycategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 183-208, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
The Uniformity Principle on Traced Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 137-155, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
On Rational Monads and Free Iterative Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 23-46, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas |
Bisimulation Relations for Dynamical and Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 120-136, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
A Categorical Semantics of Higher Order Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 209-226, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Worytkiewicz |
Paths and Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 346-361, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder |
Classifying categories for partial equational logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 305-322, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Bob Coecke |
Physical Traces: Quantum vs. Classical Information Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 1-22, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | François Lamarche |
Multiplicative Linear Logics and Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 227-247, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Hughes, Bart Jacobs 0001 |
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 156-182, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stephen L. Bloom, Zoltán Ésik |
Unique, guarded fixed points in an additive setting: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 47-61, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard Blute, Peter Selinger (eds.) |
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Fabio Gadducci, Reiko Heckel, Mercè Llabrés |
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 80-100, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Streicher |
Denotational Completeness Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 288-300, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
Concurrent Realizations of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 2-20, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi, Gianna Bellè, C. Barry Jay |
Monads, shapely functors, and traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 187-208, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Mateus, Amílcar Sernadas, Cristina Sernadas |
Precategories for combining probabilistic automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 169-186, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith |
Designware: Software Development by Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 275-287, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas T. Hildebrandt |
A Fully abstract presheaf semantics for SCCS with finite delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 102-126, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Zhaohui Luo, Sergei Soloviev 0001 |
Dependent Coercions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 152-168, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anna Bucalo, Carsten Führmann, Alex K. Simpson |
Equational Lifting Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 22, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hideki Tsuiki |
A domain-theoretic semantics of lax generic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 301-324, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Power, Daniele Turi |
A Coalgebraic Foundation for Linear Time Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 259-274, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Freyd |
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 79, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone |
Functorial semantics for Petri nets under the individual token philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 21, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Adam Eppendahl |
Coalgebra-to-Algebra Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 42-49, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wehr |
Higher-dimensional syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 325-353, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jan Paseka |
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 240-258, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore |
Fibred models of processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 78, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Giuseppe Rosolini, Dusko Pavlovic |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 1, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Errington |
On the Semantics of Message Passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 50-77, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thong wei Koh, C.-H. Luke Ong |
Internal Languages for Autonomous and *-Autonomous Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 151, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, José Meseguer 0001 |
Structured Theories and Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 23-41, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ryu Hasegawa |
Several Applications of Analytic Functors to Theoretical Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 101, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, C.-H. Luke Ong |
Exhausting Strategies, Joker Games and IMLL with Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 209-239, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hyland, Andrea Schalk |
Abstract Games for Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, pp. 127-150, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Giuseppe Rosolini, Dusko Pavlovic (eds.) |
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Eugenio Moggi, Giuseppe Rosolini (eds.) |
Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Springer, 3-540-63455-X The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David H. Pitt, David E. Rydeheard, Peter T. Johnstone (eds.) |
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Springer, 3-540-60164-3 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.) |
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Springer, 3-540-54495-X The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David H. Pitt, Axel Poigné, David E. Rydeheard (eds.) |
Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Springer, 3-540-18508-9 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard (eds.) |
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![Springer, 3-540-17162-2 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Categories, Data Types and Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 143-162, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
A Note on Distributive Laws and Power Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 252-265, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich |
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 412-433, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Austin Melton, David A. Schmidt, George E. Strecker |
Calois Connections and Computer Science Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 299-312, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David E. Rydeheard |
Functors and Natural Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 43-50, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Donald Sannella, Andrzej Tarlecki |
Extended ML: an Institution - Independent Framework for Formal Program Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 364-389, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Anna Labella, Alberto Pettorossi |
Categorical Models of Process Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 282-298, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Horst Reichel |
Behavioral Program Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 390-411, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
A Categorical View of Weakest Liberal Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 198-205, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Category Theory and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 103-142, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David H. Pitt |
Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 6-15, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Paul Taylor 0002 |
Internal Completeness of Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 449-465, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dybjer |
Category Theory and Programming Language Semantics: an Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 165-181, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Ernest G. Manes |
Weakest Preconditions: Categorical Insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 182-197, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Smyth |
Finite Approximation of Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 225-241, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David E. Rydeheard |
Adjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 51-57, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi |
Categories of Partial Morphisms and the lambdap - Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 242-251, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Robert D. Tennent |
Functor - Category Semantics of Programming Languages and Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 206-224, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Cartesian Closure - Higher Types in Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 58-75, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Fourman, Steven Vickers |
Theories as Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 434-448, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Rod M. Burstall |
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 313-333, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Tarlecki |
Bits and Pieces of the Theory of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 334-365, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
Category Theory and Models for Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 266-281, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John Cartmell |
Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 466-492, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David E. Rydeheard, Rod M. Burstall |
A Categorical Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 493-505, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 16-42, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Algebra Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 76-102, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky |
Introduction. (10.1007/3-540-17162-2_113) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 3-6, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | David E. Rydeheard, Rod M. Burstall |
Computing with Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 506-519, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|