Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , , |
| פורמט: | Conference Proceeding ספר |
| שפה: | English |
| יצא לאור: |
Berlin ; New York :
Springer,
c1995.
|
| סדרה: | Lecture notes in computer science ;
953. |
| נושאים: |
תוכן הענינים:
- 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.