Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
type: Item
instance of: scholarly article
title: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
zbMATH Open document ID: 0712.68006
published in: Lecture Notes in Computer Science
publication date: 1993-06-05T00:00:00Z
review text: This collection of papers covers many applications of category theory to computer science, including the calculus of communicating systems, concurrency, operational semantics for dataflow networks, polymorphic strictness analysis, categorical datatypes, Martin-Löf's type theory, independence results for calculi of dependent types, quantitative domains, polynomial-time realizability, the semantics of the second order lambda calculus, and duality in programming language semantics. In particular, relations between Petri nets and linear logic are disclosed (N. Martí-Oliet and J. Meseguer), and a categorical model of linear logic is constructed (V. C. V. de Paiva). The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 0632.00018]. Indexed articles: \textit{Longo, Guiseppe}, Coherence and valid isomorphism in closed categories. Applications of proof theory to category theory in a computer scientist perspective (notes for an invited lecture), 1-4 [Zbl 1496.03134] \textit{Montanari, Ugo; Yankelevich, Daniel N.}, An algebraic view of interleaving and distributed operational semantics for CCS, 5-20 [Zbl 1493.68198] \textit{Casley, Ross; Crew, Roger F.; Meseguer, José; Pratt, Vaughan}, Temporal structures, 21-51 [Zbl 1493.68241] \textit{Stark, Eugene W.}, Compositional relational semantics for indeterminate dataflow networks, 52-74 [Zbl 1493.68199] \textit{Cardelli, Luca; Mitchell, John C.}, Operations on records (extended abstract), 75-81 [Zbl 1493.68082] \textit{Hughes, John}, Projections for polymorphic strictness analysis, 82-100 [Zbl 1493.68110] \textit{Moggi, Eugenio}, A category-theoretic account of program modules, 101-117 [Zbl 1493.68118] \textit{Wraith, G. C.}, A note on categorical datatypes, 118-127 [Zbl 1493.68232] \textit{Petersson, Kent; Synek, Dan}, A set constructor for inductive sets in Martin-Löf's type theory, 128-140 [Zbl 1493.68119] \textit{Streicher, Thomas}, Independence results for calculi of dependent types, …
reviewed by: Antoni Wiweger
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18-06
Mathematics Subject Classification ID: 18B20
zbMATH DE Number: 195066
zbMATH Keywords: Category theory
zbMATH Keywords: Computer science
zbMATH Keywords: Proceedings
zbMATH Keywords: Manchester (UK)
zbMATH Keywords: categorical datatypes
zbMATH Keywords: categorical model of linear logic
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bfb0018340
OpenAlex ID: W4291295066
DOI: 10.1007/BFB0018340
description: scientific article; zbMATH DE number 195066