2 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
Franco Barbanera ; Ugo de'Liguoro.
Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such […]
Published on August 25, 2017