Searching for authors named "Fabio Alessi" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Intersection Types and Lambda Models
- …Abstract Intersection Types and Lambda Models Fabio Alessi a a Dip. di Matematica e Informatica…
- Cited by 5 (0 self) – Add To MetaCart
-
Type Preorders and Recursive Terms
- …Abstract Type preorders and recursive terms Fabio Alessi 1 Dipartimento di Matematica e…
- Cited by 1 (0 self) – Add To MetaCart
-
A fixed point theorem in a category of compact metric spaces
- …A Fixed Point Theorem in a Category of Compact Metric Spaces ∗ Fabio Alessi, Paolo Baldan, Gianna…
- Cited by 2 (2 self) – Add To MetaCart
-
Intersection Types and Domain Operators
- …Intersection Types and Domain Operators ⋆ Fabio Alessi a , Mariangiola Dezani-Ciancaglini b…
- Cited by 6 (3 self) – Add To MetaCart
-
Partializing Stone Spaces using SFP domains
- …Partializing Stone Spaces using SFP domains Fabio Alessi, Paolo Baldan, Furio Honsell…
- Cited by 2 (1 self) – Add To MetaCart
-
A category of compositional domain-models for separable Stone spaces
- … of compositional domain-models for separable Stone spaces Fabio Alessi (+) Paolo Baldan (#) Furio Honsell…
- Cited by 3 (0 self) – Add To MetaCart
-
Intersection Types and Computational Rules
- …Intersection Types and Computational Rules FABIO ALESSI FRANCO BARBANERA MARIANGIOLA DEZANI…
- Add To MetaCart
-
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
- … and -Calculus Fabio Alessi Dipartimento di Matematica e Informatica Universit`a di Udine via delle Scienze 208…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 8.
