Input/Output for ELAN
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 51-64
- https://doi.org/10.1016/s1571-0661(04)00033-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Functional back-ends within the lambda-sigma calculusPublished by Association for Computing Machinery (ACM) ,1996
- From λσ to λυPublished by Association for Computing Machinery (ACM) ,1994
- Reduce the redex → ReDuXPublished by Springer Nature ,1993
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- An introduction to OBJ 3Published by Springer Nature ,1988
- Communicating sequential processesCommunications of the ACM, 1978