The Expressive Power of Higher-order Types or, Life without CONS

Neil D. Jones

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

OriginalsprogEngelsk
TidsskriftElectronic Notes on Theoretical Computer Science
Udgave nummerVol. 39
Sider (fra-til)1-13
StatusUdgivet - 2001

Adgang til dokumentet

Citationsformater