Full abstraction for idealized Algol with passive expressions
type: Item
instance of: scholarly article
title: Full abstraction for idealized Algol with passive expressions
zbMATH Open document ID: 0954.68028
DOI: 10.1016/S0304-3975(99)00047-X
author: Samson Abramsky
author: Guy McCusker
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1495167
zbMATH Keywords: idealized Algol
Wikidata QID: Q57006768
MaRDI profile type: Publication
full work available at URL: s0304-3975(99)00047-x
OpenAlex ID: W2011050558
DBLP publication ID: journals/tcs/AbramskyM99
description: scientific article; zbMATH DE number 1495167