product iamge

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)
Series: Lecture Notes in Computer Science 389
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1989

Language: English
Pages: 372
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Mathematical Logic and Foundations

Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective....Pages 1-4
An algebraic view of interleaving and distributed operational semantics for CCS....Pages 5-20
Temporal structures....Pages 21-51
Compositional relational semantics for indeterminate dataflow networks....Pages 52-74
Operations on records....Pages 75-81
Projections for polymorphic strictness analysis....Pages 82-100
A category-theoretic account of program modules....Pages 101-117
A note on categorical datatypes....Pages 118-127
A set constructor for inductive sets in Martin-Löf's type theory....Pages 128-140
Independence results for calculi of dependent types....Pages 141-154
Quantitative domains, groupoids and linear logic....Pages 155-181
Graded multicategories of polynomial-time realizers....Pages 182-197
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa....Pages 198-212
Dictoses....Pages 213-223
Declarative continuations: An investigation of duality in programming language semantics....Pages 224-249
Logic representation in LF....Pages 250-272
Unification properties of commutative theories: A categorical treatment....Pages 273-299
An abstract formulation for rewrite systems....Pages 300-312
From petri nets to linear logic....Pages 313-340
A dialectica-like model of linear logic....Pages 341-356
A final coalgebra theorem....Pages 357-365