research
∙
07/23/2020
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
We extend to natural deduction the approach of Linear Nested Sequents an...
share
research
∙
06/18/2020
Compositional theories for embedded languages
Embedded programming style allows to split the syntax in two parts, repr...
research
∙
01/07/2020
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
Extending and generalizing the approach of 2-sequents (Masini, 1992), we...
research
∙
01/28/2019
It could be worse, it could be raining: reliable automatic meteorological forecasting
Meteorological forecasting provides reliable prediction about the future...
research
∙
09/15/2018
QPCF: higher order languages and quantum circuits
qPCF is a paradigmatic quantum programming language that ex- tends PCF w...
research
∙
11/02/2017
Quantum programming made easy
We introduce the functional language IQu ("Haiku") which, under the para...
research
∙
12/12/2016
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions
The collection of narrative spontaneous reports is an irreplaceable sour...
research
∙
06/26/2015