Sfoglia per Autore
Solutions of Functorial and Non-Functorial Metric Domain Equations
1995-01-01 Alessi, Fabio; Baldan, P; Belle, G; Rutten, Jjmm
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES
1995-01-01 Alessi, Fabio; Baldan, P; Belle, G.
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
1998-01-01 Alessi, Fabio; Baldan, P.
Intersection Types and Computational Rules
2003-01-01 Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini
A complete characterization of complete intersection-type preorders
2003-01-01 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
Simple Easy Terms
2003-01-01 Alessi, Fabio; S., Lusin
A category of compositional domain-models for separable Stone spaces
2003-01-01 Alessi, Fabio; Baldan, P; Honsell, Furio
Tailoring Filter Models
2004-01-01 Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini
Intersection types and domain operators
2004-01-01 Alessi, Fabio; Dezani Ciancaglini, M; Lusin, S.
Type preorders and recursive terms
2005-01-01 Alessi, Fabio; M., DEZANI CIANCAGLINI
Intersection types and lambda models
2006-01-01 Alessi, Fabio; Barbanera, F; Dezani Ciancaglini, M.
Recursive Domain Equations of Filter Models.
2008-01-01 Alessi, Fabio; Severi, P.
An irregular filter model.
2008-01-01 Alessi, Fabio
Intersection Types λS∩
2013-01-01 Alessi, Fabio; Mariangiola, Dezani ciancoglini; Honsell, Furio; Paula, Severi
Tiered Objects
2016-01-01 Alessi, Fabio; Cardone, Felice
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning
2019-01-01 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
LF+ in Coq for fast-and-loose reasoning
2019-01-01 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Solutions of Functorial and Non-Functorial Metric Domain Equations | 1-gen-1995 | Alessi, Fabio; Baldan, P; Belle, G; Rutten, Jjmm | |
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES | 1-gen-1995 | Alessi, Fabio; Baldan, P; Belle, G. | |
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space | 1-gen-1998 | Alessi, Fabio; Baldan, P. | |
Intersection Types and Computational Rules | 1-gen-2003 | Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini | |
A complete characterization of complete intersection-type preorders | 1-gen-2003 | M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio | |
Simple Easy Terms | 1-gen-2003 | Alessi, Fabio; S., Lusin | |
A category of compositional domain-models for separable Stone spaces | 1-gen-2003 | Alessi, Fabio; Baldan, P; Honsell, Furio | |
Tailoring Filter Models | 1-gen-2004 | Alessi, Fabio; Franco, Barbanera; Mariangiola Dezani, Ciancaglini | |
Intersection types and domain operators | 1-gen-2004 | Alessi, Fabio; Dezani Ciancaglini, M; Lusin, S. | |
Type preorders and recursive terms | 1-gen-2005 | Alessi, Fabio; M., DEZANI CIANCAGLINI | |
Intersection types and lambda models | 1-gen-2006 | Alessi, Fabio; Barbanera, F; Dezani Ciancaglini, M. | |
Recursive Domain Equations of Filter Models. | 1-gen-2008 | Alessi, Fabio; Severi, P. | |
An irregular filter model. | 1-gen-2008 | Alessi, Fabio | |
Intersection Types λS∩ | 1-gen-2013 | Alessi, Fabio; Mariangiola, Dezani ciancoglini; Honsell, Furio; Paula, Severi | |
Tiered Objects | 1-gen-2016 | Alessi, Fabio; Cardone, Felice | |
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. | |
LF+ in Coq for fast-and-loose reasoning | 1-gen-2019 | Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile