Call-by-Value lambda-Graph Rewriting Without Rewriting
presentation
posted on 2023-06-07, 21:46 authored by Maribel Fernández, Ian MackieNo 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
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC