Category Theory and Computer Science, 6th International Conference, CTCS 95, Cambridge, UK, August 7-11, 1995, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

David H. Pitt, David E. Rydeheard, Peter Johnstone, editors, Category Theory and Computer Science, 6th International Conference, CTCS 95, Cambridge, UK, August 7-11, 1995, Proceedings. Volume 953 of Lecture Notes in Computer Science, Springer, 1995.

Conference: ctcs1995

Abstract is missing.

Control Structures: a Model of InteractionRobin Milner. 1-2

Convenient Category of Processes and Simulations 1: Modulo Strong BisimilarityDusko Pavlovic. 3-23

Dualities Between Nets and Automata Induced by Schizophrenic ObjectsEric Badouel, Philippe Darondeau. 24-43

Relational Set TheoryYasuo Kawahara. 44-58

Proof of a S. Mac Lane ConjectureSergei Soloviev. 59-80

Effective Applicative StructuresAndrea Asperti, Agata Ciabattoni. 81-95

The S-Replete ConstuctionJ. M. E. Hyland, Eugenio Moggi. 96-116

The Convex Powerdomain in a Category of Posets Realized by CPOsAlex K. Simpson. 117-145

Lifting as a KZ-DoctrineMarcelo P. Fiore. 146-158

Categorical Fixed Point CalculusRoland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude. 159-179

A Category-Theoretic Treatment of a Parallel Algol-Like LanguageStephen D. Brookes. 180-181

Categorical Reconstruction of a Reduction Free Normalization ProofThorsten Altenkirch, Martin Hofmann, Thomas Streicher. 182-199

Decomposing Typed Lambda Calculus into a Couple of Categorical Programming LanguagesMasahito Hasegawa. 200-219

V-Comprehensions and P SpaceJ. R. Otto Jr.. 220-239

A Proposed Categorical Semantics for ML ModulesMichael P. Fourman, Hayo Thielecke. 240-252

runs on WebDSL