19 citations · 31 across the 5 of their papers we have counts for
5 papers
A Light Modality for Recursion
Paula Severi
We investigate the interplay between a modality for controlling the behaviour of recursive functional programs on infinite structures which are completely silent in the syntax. The…
On Sessions and Infinite Data
Paula Severi, Luca Padovani, Emilio Tuosto +1
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisati…
Complexity of the Description Logic ALCM
Monica Martinez, Edelweis Rohrer, Paula Severi
In this paper we show that the problem of checking consistency of a knowledge base in the Description Logic ALCM is ExpTime-complete. The M stands for meta-modelling as defined by…
Reasoning for ALCQ extended with a flexible meta-modelling hierarchy
Regina Motz, Edelweis Rohrer, Paula Severi
This works is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta- modelling. For this, we introduce the Description…
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Alexander Kurz, Daniela Luan Petrişan, Paula Severi +1
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. W…