20 citations · 96 across the 24 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013
Proceedings First Workshop on Control Operators and their Semantics
Ugo de'Liguoro, Alexis Saurin
The focus of the papers presented in this volume is on the interplay between syntax and semantics in case of languages, namely the central question of what a program means and how…
cs.LO2013★ 1 cited
Non-monotonic Pre-fixed Points and Learning
Stefano Berardi, Ugo de' Liguoro
We consider the problem of finding pre-fixed points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interac…
cs.LO2013★ 6 cited
Characterisation of Strongly Normalising lambda-mu-Terms
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
We provide a characterisation of strongly normalising terms of the lambda-mu-calculus by means of a type system that uses intersection and product types. The presence of the latter…