ITU
Nicolas Guenot

Nicolas Guenot

(Former)

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

Information Desk: 72185000

View graph of relations

Research outputs (4)

  1. Published

    Cut elimination in multifocused linear logic

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    Equality and fixpoints in the calculus of structures

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Symmetric normalisation for intuitionistic logic

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (4) »

Research Activities (1)

  1. Structural Proof Theory

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

Recent activities and conferences

ID: 37388530