David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (Eds.):
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings.
Lecture Notes in Computer Science 389 Springer 1989, ISBN 3-540-51662-X
- Giuseppe Longo:
Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective.
1-4

- Ugo Montanari, Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
5-20

- Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures.
21-51

- Eugene W. Stark:
Compostional Relational Semantics for Indeterminate Dataflow Networks.
52-74

- Luca Cardelli, John C. Mitchell:
Operations in Records.
75-81

- John Hughes:
Projections for Polymorphic Strictness Analysis.
82-100

- Eugenio Moggi:
A Category-theoretic Account of Program Modules.
101-117

- G. C. Wraith:
A Note on Categorical Datatypes.
118-127

- Kent Petersson, Dan Synek:
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory.
128-140

- Thomas Streicher:
Independence Results for Calculi of Dependent Types.
141-154

- Paul Taylor:
Quantitative Domains, Groupoids and Linear Logic.
155-181

- R. A. G. Seely:
Graded Multicategories of Polynomial-time Realizers.
182-197

- Bart Jacobs:
On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa.
198-212

- Thomas Ehrhard:
Dictoses.
213-223

- Andrzej Filinski:
Declarative Continuations: an Investigation of Duality in Programming Language Semantics.
224-249

- Robert Harper, Donald Sannella, Andrzej Tarlecki:
Logic Representation in LF.
250-272

- Franz Baader:
Unification Properties of Commutative Theories: A Categorical Treatment.
273-299

- A. John Power:
An Abstract Formulation for Rewrite Systems.
300-312

- Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic.
313-340

- Valeria de Paiva:
A Dialectica-like Model of Linear Logic.
341-356

- Peter Aczel, Nax Paul Mendler:
A Final Coalgebra Theorem.
357-365

Last update Mon May 20 22:42:35 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page