Ordered combinatory algebras and realizability
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Mathematical Structures in Computer Science |
| Vol/bind | 27 |
| Udgave nummer | 3 |
| Sider (fra-til) | 428-458 |
| Antal sider | 31 |
| ISSN | 1469-8072 |
| DOI | |
| Status | Udgivet - 2017 |
Links
- http://arxiv.org/pdf/1410.5034
Indsendt manuskript
ID: 146377218