Types for dyadic interaction
- 1 January 1993
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 509-523
- https://doi.org/10.1007/3-540-57208-2_35
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Science and Business Media LLC ,2006
- Functions as processesPublished by Springer Science and Business Media LLC ,2005
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- Barbed bisimulationLecture Notes in Computer Science, 1992
- Interaction netsPublished by Association for Computing Machinery (ACM) ,1990
- Type Systems for Programming LanguagesPublished by Elsevier BV ,1990
- Types in lambda calculi and programming languagesLecture Notes in Computer Science, 1990
- A Calculus of Communicating Systems with Label PassingDAIMI Report Series, 1986
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- The Principal Type-Scheme of an Object in Combinatory LogicTransactions of the American Mathematical Society, 1969