Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 4.
2018
Møgelberg, Rasmus and Paviotti, Marco (2018) Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical Structures in Computer Science, . ISSN 0960-1295. (doi:https://doi.org/10.1017/S0960129518000087) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
2016
Paviotti, Marco and Møgelberg, Rasmus (2016) Denotational semantics of recursive types in synthetic guarded domain theory. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ISBN 978-1-4503-4391-6. (doi:https://doi.org/10.1145/2933575.2934516) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
2015
Paviotti, Marco and Møgelberg, Rasmus and Birkedal, Lars (2015) A Model of PCF in Guarded Type Theory. Electronic Notes in Theoretical Computer Science, 319 . pp. 333-349. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2015.12.020) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
2012
Miculan, Marino and Paviotti, Marco (2012) Synthesis of distributed mobile programs using monadic types in Coq. In: Proceedings of 3rd International Conference on Interactive Theorem Proving. Springer pp. 183-200. (doi:https://doi.org/10.1007/978-3-642-32347-8_13) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |