File(s) not publicly available
Call-by-Value lambda-Graph Rewriting Without Rewriting
No description supplied
History
Publication status
- Published
Publisher
SpringerPages
15.0Presentation Type
- paper
Event name
Lecture Notes in Computer ScienceEvent type
conferenceISBN
3-540-44310-XDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes