Typing and subtyping for mobile processes
- 31 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 376-385
- https://doi.org/10.1109/lics.1993.287570
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- A calculus of mobile processes, IInformation and Computation, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- Towards an object calculusLecture Notes in Computer Science, 1992
- Subtyping recursive typesPublished by Association for Computing Machinery (ACM) ,1991
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972