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 |
|
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1006/inco.1998.2729
(Final published version)
|
| Permalink to this page | |