Denotational semantics for unguarded recursion: the demonic case

A. Bruin, de, E.P. Vink, de

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationComputing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    ISBN (Print)90-6196-393-1
    Publication statusPublished - 1990

    Cite this