Bridges from Language to Logic: Concepts, Contexts and Ontologies
- 作者Valeria de Paiva
- 卷第269卷
- 印刷ISSN1571-0661
- 文件大小516.49KB
- 发表时间2011
- DOI10.1016/j.entcs.2011.03.007
- 页码83-94
From parametric polymorphism to models of polymorphic FPCMØGELBERG, RASMUS EJLERS · Mathematical Structures in Computer Science · 2009
Relational Parametricity for Control Considered as a Computational EffectRasmus Ejlers Møgelberg; Alex Simpson · 2007
Bisimulation as path type for guarded recursive typesMøgelberg, Rasmus Ejlers; Veltri, Niccolò · Proceedings of the ACM on Programming Languages · 2019
Modal dependent type theory and dependent right adjointsBirkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas · Mathematical Structures in Computer Science · 2019
A Model of Guarded Recursion With Clock SynchronisationBizjak, Aleš; Møgelberg, Rasmus Ejlers · Electronic Notes in Theoretical Computer Science · 2015
A Model of PCF in Guarded Type TheoryPaviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars · Electronic Notes in Theoretical Computer Science · 2015
Synthetic Domain Theory and Models of Linear Abadi & Plotkin LogicRasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini · 2006