CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Observationally-induced algebras in Domain Theory

    Author
    Publication venue
    'Logical Methods in Computer Science e.V.'
    Publication date
    Field of study
    Full text link
    Vol. 10(3:18)2014, pp. 1–26 www.lmcs-online.or
    CiteSeerX
    Crossref
    Episciences.org
    Directory of Open Access Journals

    Observationally-induced Effects in Cartesian Closed Categories

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    No full text
    Crossref
    corecore