2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.LO2019
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a b…
cs.LO2019
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
Yosuke Fukuda, Akira Yoshimizu
We propose a "modal linear logic" to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. Whil…
cs.LO2015★ 2 cited
Parallelism and Synchronization in an Infinitary Context (Long Version)
Ugo Dal Lago, Claudia Faggian, Benoit Valiron +1
We study multitoken interaction machines in the context of a very expressive logical system with exponentials, fixpoints and synchronization. The advantage of such machines is to p…