
Logical Foundations of Quantitative Equality (long version)
Quantitative reasoning provides a flexible approach capable to deal with...
read it

Doctrines, modalities and comonads
Doctrines are categorical structures very apt to study logics of differe...
read it

A metatheory for bigstep semantics
It is wellknown that bigstep semantics is not able to distinguish stuc...
read it

Flexible coinductive logic programming
Recursive definitions of predicates are usually interpreted either induc...
read it

Foundations of regular coinduction
Inference systems are a widespread framework used to define possibly rec...
read it

Sound Regular Corecursion in coFJ
The aim of the paper is to provide solid foundations for a programming p...
read it

Soundness conditions for bigstep semantics
We propose a general proof technique to show that a predicate is sound, ...
read it

Flexible Coinduction in Agda
Theorem provers are tools that help users to write machine readable proo...
read it

Coaxioms: flexible coinductive definitions by inference systems
We introduce a generalized notion of inference system to support more fl...
read it

Generalizing inference systems by coaxioms
After surveying classical results, we introduce a generalized notion of ...
read it

Extending Coinductive Logic Programming with CoFacts
We introduce a generalized logic programming paradigm where programs, co...
read it
Francesco Dagnino
is this you? claim profile