A conservative look at operational semantics with variable binding

Authors
Publication date 1998
Journal Information and Computation
Volume | Issue number 146 | 1
Pages (from-to) 24-54
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Language English
Published at https://doi.org/10.1006/inco.1998.2729
Permalink to this page
Back