An internal language for interaction categories (1995)
| Venue: | In Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Gay95aninternal,
author = {Simon Gay and Rajagopal Nagarajan},
title = {An internal language for interaction categories},
booktitle = {In Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial},
year = {1995},
publisher = {College Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
1 Introduction It has been known for some years that formal systems of various kinds correspond to certain flavours of categorical structure. The first person to observe this phenomenon seems to have been Lawvere, who formulated a connection between certain kinds of algebraic theories and categories with finite products. Since Lawvere's original insight, there has been much progress in understanding
Citations
| 379 | Introduction to Higher Order Categorical Logic - Lambek, Scott - 1986 |
| 119 | Interaction categories and the foundations of typed concurrent programming - Abramsky, Gay, et al. - 1996 |
| 55 | A typed calculus of synchronous processes - Gay, Nagarajan - 1995 |
| 52 | Elementary Categories, Elementary Toposes, Oxford Logic Guides 21 - McLarty - 1995 |
| 46 | Polymorphism is set theoretic, constructively - Pitts - 1987 |
| 41 | autonomous categories, volume 752 - Barr - 1979 |
| 34 | Integration Categories and Communicating Sequential Processes - Abramsky - 1994 |
| 21 | Specification structures and propositions-as-types for concurrency - Abramsky, Gay, et al. - 1995 |
| 19 | Interaction Categories (Extended Abstract - Abramsky - 1993 |
| 12 | From lambda calculus to cartesian closed categories - Lambek - 1980 |
| 4 | Categories for Types. Cambridge - Crole - 1993 |
| 4 | Theoretical Computer Science - logic - 1987 |
