default search action
8th CTCS 1999: Edinburgh, UK
- Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999. Electronic Notes in Theoretical Computer Science 29, Elsevier 1999 - Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Preface. 1 - Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
Concurrent Realizations of Reactive Systems. 2-20 - Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. 21 - Anna Bucalo, Carsten Führmann, Alex K. Simpson:
Equational Lifting Monads. 22 - Francisco Durán, José Meseguer:
Structured Theories and Institutions. 23-41 - Adam Eppendahl:
Coalgebra-to-Algebra Morphisms. 42-49 - Lindsay Errington:
On the Semantics of Message Passing Processes. 50-77 - Marcelo P. Fiore:
Fibred models of processes. 78 - Peter J. Freyd:
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? 79 - Fabio Gadducci, Reiko Heckel, Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. 80-100 - Ryu Hasegawa:
Several Applications of Analytic Functors to Theoretical Computer Science. 101 - Thomas T. Hildebrandt:
A Fully abstract presheaf semantics for SCCS with finite delay. 102-126 - Martin Hyland, Andrea Schalk:
Abstract Games for Linear Logic. 127-150 - Thong wei Koh, C.-H. Luke Ong:
Internal Languages for Autonomous and *-Autonomous Categories. 151 - Zhaohui Luo, Sergei Soloviev:
Dependent Coercions. 152-168 - Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Precategories for combining probabilistic automata. 169-186 - Eugenio Moggi, Gianna Bellè, C. Barry Jay:
Monads, shapely functors, and traversals. 187-208 - Andrzej S. Murawski, C.-H. Luke Ong:
Exhausting Strategies, Joker Games and IMLL with Units. 209-239 - Jan Paseka:
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. 240-258 - John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics. 259-274 - Douglas R. Smith:
Designware: Software Development by Refinement. 275-287 - Thomas Streicher:
Denotational Completeness Revisited. 288-300 - Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions. 301-324 - Martin Wehr:
Higher-dimensional syntax. 325-353
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.