Denotational semantics of recursive types in synthetic guarded domain theory

Rasmus Ejlers Møgelberg
, Marco Paviotti

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

1 resultater
- Relevans

Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Danmarks Frie Forskningsfond
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning