The Interval Analysis of Multilinear Expressions
- 作者Cosimo Laneve; Tudor A. Lascu; Vania Sordoni
- 卷第267卷
- 期第2期
- 印刷ISSN1571-0661
- 文件大小207.30KB
- 发表时间2010
- DOI10.1016/j.entcs.2010.09.017
- 页码43-53
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