Anders Schack-Nielsen
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (6)
- Published
Implementing Substructural Logical Frameworks
Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Published
Linear contextual modal type theory
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
- Published
The lambda sigma calculus and strong normalization
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
ID: 264748