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 
@proceedings{DBLP:conf/ctcs/1989,
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'e}},
title = {Category Theory and Computer Science, Manchester, UK, September
5-8, 1989, Proceedings},
booktitle = {Category Theory and Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {389},
year = {1989},
isbn = {3-540-51662-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- 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
Copyright © Tue Feb 9 19:24:14 2010
by Michael Ley (ley@uni-trier.de)
