research
∙
09/13/2023
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Generalized metric spaces are obtained by weakening the requirements (e....
share
research
∙
03/06/2023
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Logical relations built on top of an operational semantics are one of th...
research
∙
02/15/2023
Multi-graded Featherweight Java
Resource-aware type systems statically approximate not only the expected...
research
∙
11/21/2022
Ain't No Stopping Us Monitoring Now
Not all properties are monitorable. This is a well-known fact, and it me...
research
∙
09/15/2022
Coeffects for Sharing and Mutation
In type-and-coeffect systems, contexts are enriched by coeffects modelin...
research
∙
05/18/2022
Fair Termination of Multiparty Sessions
There exists a broad family of multiparty sessions in which the progress...
research
∙
11/23/2021
Deconfined Global Types for Asynchronous Sessions
Multiparty sessions with asynchronous communications and global types pl...
research
∙
10/11/2021
Logical Foundations of Quantitative Equality (long version)
Quantitative reasoning provides a flexible approach capable to deal with...
research
∙
07/29/2021
Doctrines, modalities and comonads
Doctrines are categorical structures very apt to study logics of differe...
research
∙
04/12/2021
A meta-theory for big-step semantics
It is well-known that big-step semantics is not able to distinguish stuc...
research
∙
08/05/2020
Flexible coinductive logic programming
Recursive definitions of predicates are usually interpreted either induc...
research
∙
06/04/2020
Foundations of regular coinduction
Inference systems are a widespread framework used to define possibly rec...
research
∙
05/28/2020
Sound Regular Corecursion in coFJ
The aim of the paper is to provide solid foundations for a programming p...
research
∙
02/20/2020
Soundness conditions for big-step semantics
We propose a general proof technique to show that a predicate is sound, ...
research
∙
02/14/2020
Flexible Coinduction in Agda
Theorem provers are tools that help users to write machine readable proo...
research
∙
08/08/2018
Coaxioms: flexible coinductive definitions by inference systems
We introduce a generalized notion of inference system to support more fl...
research
∙
12/04/2017
Generalizing inference systems by coaxioms
After surveying classical results, we introduce a generalized notion of ...
research
∙
09/14/2017
