Skip to main content

Items where Author, Editor or other role is "Paviotti, Marco"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: M | P
Number of items: 5.

M

Møgelberg, Rasmus, Paviotti, Marco (2019) Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical Structures in Computer Science, 29 (3). pp. 465-510. ISSN 0960-1295. (doi:10.1017/S0960129518000087) (KAR id:69685)
[thumbnail of mscs-fpc.pdf]
Preview

Marco, Paviotti, Jesper, Bengtson (2018) Formally verifying Exceptions for Low-level code with Separation Logic. Journal of Logical and Algebraic Methods in Programming, 94 . pp. 1-14. ISSN 2352-2208. (doi:10.1016/j.jlamp.2017.09.004) (KAR id:67658)
[thumbnail of jlamp.pdf]
Preview

Miculan, Marino, Paviotti, Marco (2012) Synthesis of distributed mobile programs using monadic types in Coq. In: Proceedings of 3rd International Conference on Interactive Theorem Proving. . pp. 183-200. Springer (doi: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) (KAR id:65009)
[thumbnail of itp12.pdf]

P

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. LICS Logic in Computer Science . ACM, New York, USA, pp. 317-326. ISBN 978-1-4503-4391-6. (doi:10.1145/2933575.2934516) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65016)
[thumbnail of lics16.pdf]

Paviotti, Marco, Møgelberg, Rasmus, 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:10.1016/j.entcs.2015.12.020) (KAR id:65015)
[thumbnail of 1-s2.0-S1571066115000870-main.pdf] [thumbnail of mfps15.pdf]
Preview

This list was generated on Sat Jan 22 20:04:42 2022 GMT.