The fixed point property and a technique to harness double fixed point combinators
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Dokumenter
- The fixed point property and a technique to harness double fixed point combinators
Accepteret manuskript, 569 KB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Logic and Computation |
| Vol/bind | 29 |
| Udgave nummer | 5 |
| Sider (fra-til) | 831-880 |
| ISSN | 0955-792X |
| DOI | |
| Status | Udgivet - 2019 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 239564737