Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , , |
| Formáid: | Imeacht comhdhála LEABHAR |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Berlin ; New York :
Springer,
c1995.
|
| Sraith: | Lecture notes in computer science ;
953. |
| Ábhair: |
Clár na nÁbhar:
- 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.