Denotational semantics for unguarded recursion: the demonic case

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	51-64
ISBN (Print)	90-6196-393-1
Publication status	Published - 1990

Cite this

@inproceedings{524193ff68a54d90b150b568712ea1eb,

title = "Denotational semantics for unguarded recursion: the demonic case",

author = "{Bruin, de}, A. and {Vink, de}, E.P.",

year = "1990",

language = "English",

isbn = "90-6196-393-1",

pages = "51--64",

booktitle = "Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)",

publisher = "Centrum voor Wiskunde en Informatica",

}

Denotational semantics for unguarded recursion: the demonic case. / Bruin, de, A.; Vink, de, E.P.
Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam: Centrum voor Wiskunde en Informatica, 1990. p. 51-64.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review