Christian Uldal Graulund
PhD fellow
- Programming Logic and Semantics
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C15
- Email: cgra@itu.dk
Information Desk: 72185000
Research outputs (1)
- 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
Recent activities and conferences
Loading map data...
ID: 81132226