U. Dal Lago and F. Gavazzo
"Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs"
6th Formal Structures for Computation and Deduction (FSCD 2021), pp 23:1-19
pdf bib.
F. Gavazzo and C. Faggian
"A Relational Theory of Monadic Rewriting Systems, Part I"
36th Logic in Computer Science (LICS 2021), pp 1-14
pdf bib.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), pp ??-??
pdf bib.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), pp ??-??
pdf bib.
M. Antonelli, U. Dal Lago and P. Pistone
"On Measure Quantifiers in First-Order Arithmetic"
17th Computability in Europe conference (CiE 2021), pp 12-24
pdf bib.
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), pp 51:1--51:33
pdf bib.
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), pp 32:1--32:32
pdf bib.
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), pp 23:1--23:18
pdf bib.
D. Hirschkoff, E. Prebet, D. Sangiorgi
"On the representation of references in the Pi-Calculus"
31st International Conference on Concurrency Theory (CONCUR 2020), pp. 171:1 -171: 20
pdf bib.
22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), pp 4:1--4:15
pdf bib.