United Kingdom John Power2 Department / University of Bath / Computer Science University / University of Bath Online Publication Store / Guy McCusker1 Department / /
Person
Reynolds / Idealised Algol / /
Position
first author / functor-category model of Idealised Algol / guard / model / object-spaces model / model of Idealised Algol / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / /