Patrick Bahr
Associate Professor
- Programming Logic and Semantics
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C14
Information Desk: 72185000
Research areas
Research outputs (35)
- Published
Calculating Correct Compilers II: Return of the Register Machines
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Convergence in infinitary term graph rewriting systems is simple
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Recent activities and conferences
Loading map data...
ID: 80318082