RPO, Second-order Contexts, and Lambda-calculus (2009)
Di Gianantonio, Pietro, Honsell, Furio, Lenisa, Marina
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possibly finitely...
Uncountable Limits and the Lambda Calculus (1995)
Di Gianantonio, Pietro, Honsell, Furio, Plotkin, Gordon
In this paper we address the problem of solving recursive domain equations using uncountable limits of domains. These arise for instance, when dealing with the omega_1-continuous function-space...
Uncountable Limits and the Lambda Calculus (1995)
Di Gianantonio, Pietro, Honsell, Furio, Plotkin, Gordon
In this paper we address the problem of solving recursive domain equations using uncountable limits of domains. These arise for instance, when dealing with the !1-continuous function-space...