Realizability toposes from specifications
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Leibniz International Proceedings in Informatics |
| Vol/bind | 38 |
| Sider (fra-til) | 196-210 |
| Antal sider | 15 |
| ISSN | 1868-8969 |
| DOI | |
| Status | Udgivet - 2015 |
| Begivenhed | International Conference on Typed Lambda Calculi and Applications - , Tyskland Varighed: 1 okt. 2015 → … Konferencens nummer: 13 |
Konference
| Konference | International Conference on Typed Lambda Calculi and Applications |
|---|---|
| Nummer | 13 |
| Land | Tyskland |
| Periode | 01/10/2015 → … |
ID: 146294441