Sfoglia per Autore  ALESSI, Fabio

opzioni
Mostrati risultati da 1 a 17 di 17
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.
An irregular filter model. 1-gen-2008 Alessi, Fabio
Recursive Domain Equations of Filter Models. 1-gen-2008 Alessi, Fabio; Severi, P.
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
Mostrati risultati da 1 a 17 di 17
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