Møgelberg, Rasmus E.
- Guarded Dependent Type Theory with Coinductive Types
2016/01/07 by Bizjak, Aleš, Grathwohl, Hans Bugge, Clouston, Ranald +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Denotational semantics of recursive types in synthetic guarded domain\n theory
2018/05/01 by Rasmus Ejlers Møgelberg, Marco Paviotti, Møgelberg, Rasmus E. +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies #Software Engineering Research