Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Anais de Congresso Livro |
| Idioma: | English |
| Publicado em: |
Berlin ; New York :
Springer,
c1995.
|
| coleção: | Lecture notes in computer science ;
953. |
| Assuntos: |
Sumário:
- 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.