Full abstraction for the second order subset of an ALGOL-like language (Q5096919)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Full abstraction for the second order subset of an ALGOL-like language |
scientific article; zbMATH DE number 7573223
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Full abstraction for the second order subset of an ALGOL-like language |
scientific article; zbMATH DE number 7573223 |
Statements
Full abstraction for the second order subset of an ALGOL-like language (English)
0 references
18 August 2022
0 references