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 tidsskriftKonferenceartikelForskningpeer review

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.

Matematik

Teknik og materialevidenskab