File(s) not publicly available
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing.
journal contribution
posted on 2023-06-08, 04:49 authored by Chrysafis Hartonas, Matthew HennessyNo description supplied
History
Publication status
- Published
Journal
Theoretical Computer ScienceExternal DOI
Volume
145Page range
64-106ISBN
0304-3975Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes