3 results
Stefano Berardi ; Ugo de'Liguoro.
We propose a theory of learning aimed to formalize some ideas underlying Coquand's game semantics and Krivine's realizability of classical logic. We introduce a notion of knowledge state together with a new topology, capturing finite positive and negative information that guides a learning strategy. […]
Published on February 12, 2014
Steffen van Bakel ; Franco Barbanera ; Ugo de'Liguoro.
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of omega-algebraic lattices via Abramsky's domain-logic approach. […]
Published on January 10, 2018
Jan Bessai ; Tzu-Chun Chen ; Andrej Dudenhefner ; Boris Düdder ; Ugo de'Liguoro ; Jakob Rehof.
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over classes, are expressed as terms in a lambda calculus with records. Intersection types with records and record-merge are […]
Published on February 27, 2018