Denotational semantics for unguarded recursion: the demonic case

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelComputing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Pagina's51-64
    ISBN van geprinte versie90-6196-393-1
    StatusGepubliceerd - 1990

    Citeer dit