A Model of Guarded Recursion via Generalised Equilogical Spaces

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind722
Sider (fra-til)1-18
Antal sider18
ISSN0304-3975
DOI
StatusUdgivet - 25 apr. 2018

Se relationer på Aarhus Universitet Citationsformater

ID: 119264171