Rasmus Ejlers Møgelberg
- 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
- Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming\n without Space Leaks
2019/03/14 by Patrick Bahr, Christian Uldal Graulund, Bahr, Patrick +3 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)