A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)

by Fabio Alessi , Mariangiola Dezani-Ciancaglini , Ugo de' Liguoro
Citations:1 - 1 self

Active Bibliography

IOS Press AConvex Powerdomain over Lattices: its Logic and-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro
7 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
6 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro, Adolfo Piperno - 1998
11 Filter Models for Conjunctive-Disjunctive λ-calculi – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1996
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
944 A theory of type polymorphism in programming – Robin Milner - 1978
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999