File(s) not publicly available
Abstract syntax and variable binding.
presentation
posted on 2023-06-07, 21:13 authored by Marcelo Fiore, Gordon Plotkin, Daniele TuriNo description supplied
History
Publication status
- Published
Publisher
14th LICS Conference. IEEE Computer Society Press.Page range
193-202Presentation Type
- paper
Event location
14th LICS Conference. IEEE Computer Society Press.Event type
conferenceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
