Research Catalog
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
- Title
- Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds.
- Author
- International Conference on Category Theory and Computer Science (6th : 1995 : Cambridge, England)
- Publication
- Berlin ; New York : Springer, 1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.6 .B53 1995 | Off-site |
Holdings
Details
- Additional Authors
- Description
- 252 pages; 24 cm.
- Series Statement
- Lecture notes in computer science ; 953
- Uniform Title
- Lecture notes in computer science ; 953.
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- Contents
- Control Structures: a Model of Interaction / Robin Milner -- Convenient Category of Processes and Simulations I: Modulo Strong Bisimilarity / Dusko Pavlovic -- Dualities Between Nets and Automata Induced by Schizophrenic Objects / Eric Badouel and Philippe Darondeau -- Relational Set Theory / Yasuo Kawahara -- Proof of a S. Mac Lane Conjecture / S. Soloviev -- Effective Applicative Structures / Andrea Asperti and Agata Ciabattoni -- The S-Replete Construction / J. M. E. Hyland and E. Moggi -- The Convex Powerdomain in a Category of Posets Realized by CPOs / Alex K. Simpson -- Lifting as a KZ-Doctrine / Marcelo P. Fiore -- Categorical Fixed Point Calculus / Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop and Jaap van der Woude -- A Category-Theoretic Treatment of a Parallel Algol-Like Language / Stephen Brookes -- Categorical Reconstruction of a Reduction Free Normalization Proof / Thorsten Altenkirch, Martin Hofmann and Thomas Streicher --
- Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages / Masahito Hasegawa -- V-Comprehensions and P Space / J. R. Otto, Jr. -- A Proposed Categorical Semantics for ML Modules / Michael Fourman and Hayo Thielecke.
- ISBN
- 3540601643 (alk. paper)
- LCCN
- 95035672
- OCLC
- 32891208
- ocm32891208
- Owning Institutions
- Columbia University Libraries