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

  1. 2015
  2. Published

    Cut elimination in multifocused linear logic

    Guenot, N. & Brock-Nannestad, T., 2015, In: Electronic Proceedings in Theoretical Computer Science. EPTCS. 176, p. 24-33 10 p.

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

  3. 2014
  4. Published

    Equality and fixpoints in the calculus of structures

    Chaudhuri, K. & Guenot, N., 12 Sep 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (eds.). Association for Computing Machinery, p. 30-40 10 p. (Annual Symposium on Logic in Computer Science).

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

  5. Published

    Symmetric normalisation for intuitionistic logic

    Guenot, N. & Straßburger, L., 12 Sep 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (eds.). Association for Computing Machinery, p. 45-55 10 p.

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

  6. Published

    Hybrid Extensions in a Logical Framework

    Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

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

ID: 37388530