paper
referenced-only
paper:abramsky-full-abstraction-for-idealized-algol-wit-1999

Full abstraction for idealized Algol with passive expressions

External IDs

title_hash
700b79db3d3dde3d143017daefe7f2662c975df4
legacy_slug
abramsky-full-abstraction-for-idealized-algol-wit-1999
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1999,
  "title": "Full abstraction for idealized Algol with passive expressions",
  "venue": "Theoretical Computer Science",
  "authors": [
    "S. Abramsky",
    "G. McCusker"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)