Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Birkhauser
1997
|
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Birkhauser
1997
|