Patrick Bahr
Assistant 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 (33)
- Published
Convergence in infinitary term graph rewriting systems is simple
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Strict Ideal Completions of the Lambda Calculus
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
What makes guarded types tick?
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
Recent activities and conferences
Loading map data...
ID: 80318082