Foundational Nonuniform (Co)datatypes for Higher-Order Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Titel | LICS 2017 |
| Antal sider | 12 |
| Forlag | IEEE Computer Society Press |
| Publikationsdato | 2017 |
| Sider | 1-12 |
| DOI | |
| Status | Udgivet - 2017 |
| Eksternt udgivet | Ja |
ID: 245669276