Fingeraftryk
Dyk ned i forskningsemnerne om 'The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review