ITU
Patrick Bahr

Patrick Bahr

Associate Professor

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

Building: 4C14

Phone: +45 7218 5280

Information Desk: 72185000

View graph of relations

Research outputs (35)

  1. Published

    Calculating Correct Compilers II: Return of the Register Machines

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

  2. Published

    Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

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

  3. Published

    Convergence in infinitary term graph rewriting systems is simple

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

View all (35) »

Recent activities and conferences

ID: 80318082