| 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  |
CTCS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paul Taylor 0002 |
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Lüdtke Ferreira, Leila Ribeiro 0001 |
A Graph-based Semantics For Object-oriented Programming Constructs. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Iterative Algebras for a Base. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Cáccamo, Glynn Winskel |
Limit Preservation from Naturality. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal |
Preface. |
CTCS |
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. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Esfandiar Haghverdi, Philip J. Scott |
From Geometry of Interaction to Denotational Semantics. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schalk, José Juan Palacios Pérez |
Concrete Data Structures as Games. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Maietti |
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Robin B. Cockett, Craig A. Pastro |
A Language For Multiplicative-additive Linear Logic. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Michelbrink, Anton Setzer |
State Dependent IO-Monads in Type Theory. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-André Melliès |
Asynchronous Games 3 An Innocent Model of Linear Logic. |
CTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Blain Levy |
Adjunction Models For Call-By-Push-Value With Stacks. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Boudes |
Non-Uniform Hypercoherences. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, Peter Selinger |
Preface. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Robin B. Cockett, Luigi Santocanale |
Induction, Coinduction, and Adjoints. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Maietti |
Joyal's arithmetic universes via type theory. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Taylor 0002 |
Local Compactness and the Baire Category Theorem in Abstract Stone Duality. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius |
On Iteratable Endofunctors. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Coccia, Fabio Gadducci, Ugo Montanari |
GS.Lambda Theories: A Syntax for Higher-Order Graphs. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Koslowski |
A monadic approach to polycategories. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hasegawa |
The Uniformity Principle on Traced Monoidal Categories. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
On Rational Monads and Free Iterative Theories. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas |
Bisimulation Relations for Dynamical and Control Systems. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
A Categorical Semantics of Higher Order Store. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Worytkiewicz |
Paths and Simulations. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Classifying categories for partial equational logic. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Bob Coecke |
Physical Traces: Quantum vs. Classical Information Processing. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Lamarche |
Multiplicative Linear Logics and Fibrations. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Hughes, Bart Jacobs 0001 |
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Unique, guarded fixed points in an additive setting: Extended Abstract. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, Peter Selinger (eds.) |
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 |
CTCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fabio Gadducci, Reiko Heckel, Mercè Llabrés |
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Streicher |
Denotational Completeness Revisited. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
Concurrent Realizations of Reactive Systems. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Moggi, Gianna Bellè, C. Barry Jay |
Monads, shapely functors, and traversals. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Mateus, Amílcar Sernadas, Cristina Sernadas |
Precategories for combining probabilistic automata. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Designware: Software Development by Refinement. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt |
A Fully abstract presheaf semantics for SCCS with finite delay. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo, Sergei Soloviev 0001 |
Dependent Coercions. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Bucalo, Carsten Führmann, Alex K. Simpson |
Equational Lifting Monads. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideki Tsuiki |
A domain-theoretic semantics of lax generic functions. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Power, Daniele Turi |
A Coalgebraic Foundation for Linear Time Semantics. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Freyd |
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? |
CTCS |
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. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Eppendahl |
Coalgebra-to-Algebra Morphisms. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehr |
Higher-dimensional syntax. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Paseka |
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore |
Fibred models of processes. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0001, Giuseppe Rosolini, Dusko Pavlovic |
Preface. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Errington |
On the Semantics of Message Passing Processes. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thong wei Koh, C.-H. Luke Ong |
Internal Languages for Autonomous and *-Autonomous Categories. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001 |
Structured Theories and Institutions. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryu Hasegawa |
Several Applications of Analytic Functors to Theoretical Computer Science. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, C.-H. Luke Ong |
Exhausting Strategies, Joker Games and IMLL with Units. |
CTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hyland, Andrea Schalk |
Abstract Games for Linear Logic. |
CTCS |
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 |
CTCS |
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 |
CTCS |
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 |
CTCS |
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 |
CTCS |
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 |
CTCS |
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 |
CTCS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric G. Wagner |
Categories, Data Types and Imperative Languages. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
A Note on Distributive Laws and Power Domains. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich |
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Austin Melton, David A. Schmidt, George E. Strecker |
Calois Connections and Computer Science Applications. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David E. Rydeheard |
Functors and Natural Transformations. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Sannella, Andrzej Tarlecki |
Extended ML: an Institution - Independent Framework for Formal Program Development. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Labella, Alberto Pettorossi |
Categorical Models of Process Cooperation. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Reichel |
Behavioral Program Specification. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric G. Wagner |
A Categorical View of Weakest Liberal Preconditions. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
Category Theory and Logic. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Pitt |
Categories. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Taylor 0002 |
Internal Completeness of Categories of Domains. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Dybjer |
Category Theory and Programming Language Semantics: an Overview. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest G. Manes |
Weakest Preconditions: Categorical Insights. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Smyth |
Finite Approximation of Spaces. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David E. Rydeheard |
Adjunction. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Moggi |
Categories of Partial Morphisms and the lambdap - Calculus. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Tennent |
Functor - Category Semantics of Programming Languages and Logics. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
Cartesian Closure - Higher Types in Categories. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Fourman, Steven Vickers |
Theories as Categories. |
CTCS |
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. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Tarlecki |
Bits and Pieces of the Theory of Institutions. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Category Theory and Models for Parallel Computation. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | John Cartmell |
Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David E. Rydeheard, Rod M. Burstall |
A Categorical Unification Algorithm. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Poigné |
Algebra Categorically. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky |
Introduction. (10.1007/3-540-17162-2_113) |
CTCS |
1985 |
DBLP BibTeX RDF |
|
| 1 | David E. Rydeheard, Rod M. Burstall |
Computing with Categories. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license