Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

Publikation: Afhandlinger › Ph.d.-afhandling

Originalsprog	Dansk
Kvalifikation	Ph.d.
Vejleder(e)	Schürmann, Carsten, Hovedvejleder
Udgiver	IT-Universitetet i København
ISBN'er, trykt	978-87-7949236-3
Status	Udgivet - 2011

Adgang til dokumentet