Concepedia

Fabio Alessi

FA

Statistics

Publications

6

Citations

93

H-Index

6

Active since

1995

Affiliations

University of Udine(Current)

University of Turin

Università Iuav di Venezia

Fabio Alessi is an author at University of Udine specializing in computer science, type systems, and intersection types.

Publications per year

1995–2006

6

Publications

6

Intersection Types and Computational Rules

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini · Electronic Notes in Theoretical Computer Science · 2003 · 23 citations · Full text

, , +13

Intersection types and lambda models

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini · Theoretical Computer Science · 2006 · 18 citations

, , +7

A complete characterization of complete intersection-type preorders

Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi · ACM Transactions on Computational Logic · 2003 · 16 citations

, , +8

Simple Easy Terms

Fabio Alessi, S. Lusin · Electronic Notes in Theoretical Computer Science · 2003 · 13 citations · Full text

, , +10

Solutions of Functorial and Non-Functorial Metric Domain Equations

Fabio Alessi, Paolo Baldan, G. Bellè et al. · Electronic Notes in Theoretical Computer Science · 1995 · 12 citations · Full text

, , +10

1–5 of 6