Fingerprint
Dive into the research topics of 'The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review