ITU
ITU
Anders Schack-Nielsen

Anders Schack-Nielsen

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (6)

  1. Published

    Implementing Substructural Logical Frameworks

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  2. Published

    Linear contextual modal type theory

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  3. Published

    The lambda sigma calculus and strong normalization

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

View all (6) »

Recent activities and conferences

ID: 264748