Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 4.
Article
| 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) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| 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) |
|
Conference or workshop item
| 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) |
|
| 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) |
|
