Fabio Alessi
-
An irregular filter model
Theoretical Computer Science
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae