ALESSI, Fabio

ALESSI, Fabio  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.041 secondi).
Titolo Data di pubblicazione Autore(i) File
A category of compositional domain-models for separable Stone spaces 1-gen-2003 Alessi, Fabio; Baldan, P; Honsell, Furio
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space 1-gen-1998 Alessi, Fabio; Baldan, P.
A complete characterization of complete intersection-type preorders 1-gen-2003 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 1-gen-2019 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES 1-gen-1995 Alessi, Fabio; Baldan, P; Belle, G.
An irregular filter model. 1-gen-2008 Alessi, Fabio
Intersection Types and Computational Rules 1-gen-2003 Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini
Intersection types and domain operators 1-gen-2004 Alessi, Fabio; Dezani Ciancaglini, M; Lusin, S.
Intersection types and lambda models 1-gen-2006 Alessi, Fabio; Barbanera, F; Dezani Ciancaglini, M.
Intersection Types λS∩ 1-gen-2013 Alessi, Fabio; Mariangiola, Dezani ciancoglini; Honsell, Furio; Paula, Severi
LF+ in Coq for fast-and-loose reasoning 1-gen-2019 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Recursive Domain Equations of Filter Models. 1-gen-2008 Alessi, Fabio; Severi, P.
Simple Easy Terms 1-gen-2003 Alessi, Fabio; S., Lusin
Solutions of Functorial and Non-Functorial Metric Domain Equations 1-gen-1995 Alessi, Fabio; Baldan, P; Belle, G; Rutten, Jjmm
Tailoring Filter Models 1-gen-2004 Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini
Tiered Objects 1-gen-2016 Alessi, Fabio; Cardone, Felice
Type preorders and recursive terms 1-gen-2005 Alessi, Fabio; M., DEZANI CIANCAGLINI