Skip to search boxSkip to navigationSkip to main content

Implementing Substructural Logical Frameworks

  • Anders Schack-Nielsen
Research Output:
Theses
PhD thesis

Open access

Publication Information

Output type

Research Output:
Theses
PhD thesis

Original language

Danish

Qualification

PhD

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Supervisors/Advisors

Award date

29/04/2011

Publisher

IT-Universitetet i København, Denmark

ISBN (Print)

978-87-7949236-3

Access to documents