Higher-order concurrent linear logic programming
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 137-166
- https://doi.org/10.1007/bfb0026568
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Static analysis of communication for asynchronous concurrent programming languagesLecture Notes in Computer Science, 1995
- Type-theoretic foundations for concurrent object-oriented programingPublished by Association for Computing Machinery (ACM) ,1994
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- Principal typing schemes in a polyadic π-calculusLecture Notes in Computer Science, 1993
- Types for dyadic interactionLecture Notes in Computer Science, 1993
- A typing system for a calculus of objectsLecture Notes in Computer Science, 1993
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- CMLACM SIGPLAN Notices, 1991
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Linear logicTheoretical Computer Science, 1987