ITU
Nicolas Pouillard

Nicolas Pouillard

(Former)

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

Information Desk: 72185000

View graph of relations

Research outputs (1)

  1. Published

    Names For Free: Polymorphic Views of Names and Binders

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

Research Activities (1)

  1. Homotopy type theory seminar

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

Recent activities and conferences

ID: 34474163