Toy Quantum Categories (Extended Abstract)
- 作者Bob Coecke; Bill Edwards
- 卷第270卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小227.84KB
- 发表时间2011
- DOI10.1016/j.entcs.2011.01.004
- 页码29-40
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