Quantum Logic in Dagger Kernel Categories
- 作者Chris Heunen; Bart Jacobs
- 卷第270卷
- 期第2期
- 印刷ISSN1571-0661
- 文件大小371.35KB
- 发表时间2011
- DOI10.1016/j.entcs.2011.01.024
- 页码79-103
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