Implementing Substructural Logical Frameworks
- Anders Schack-Nielsen
Publikation:
Afhandlinger
Ph.d.-afhandling
Forskning
Open Access
Publikation information
Produktionstype
Publikation:
Afhandlinger
Ph.d.-afhandling
Forskning
Originalsprog
DanskKvalifikation
Ph.d.Publikationsmilepæle
- Udgivet - 2011
Publikationsstatus
Udgivet - 2011
Vejledere/rådgivere
- Carsten Schürmann (Hovedvejleder)