Marco Paviotti
- Denotational semantics of recursive types in synthetic guarded domain theory
2018/05/01 by Rasmus Ejlers Møgelberg, Rasmus E. Møgelberg, Møgelberg, Rasmus E. +2 · 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 #cs.LO #cs.PL