Higher-Order Contexts via Games and the Int-Construction

Lars Birkedal, Mikkel Bundgaard, Søren Debois, Thomas Hildebrandt, Davide Grohmann

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapport

OriginalsprogEngelsk
ForlagIT-Universitetet i København
StatusUdgivet - 2009
NavnITU Technical Report Series

Citationsformater