Sfoglia per Autore  ZACCHI, Maddalena

Opzioni
Mostrati risultati da 1 a 20 di 29
Titolo Data di pubblicazione Autore(i) File
Isomorphism of intersection and union types 2017 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Partial and Complete Processes in Multiparty Sessions 2015 Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
On Isomorphism of "Functional" Intersection and Union Types. 2015 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Isomorphism of "Functional" Intersection Types 2014 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Toward Isomorphism of Intersection and Union Types 2013 Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
Calcium Spiking Analyser 2011 E. Sciacca; S. Spinella; M. Zacchi
Elena: A StateJ to Java translator 2010 Emanuele Cazzola; Ferruccio Damiani; Sophia Drossopoulou; Elena Giachino; Paola Giannini; Maddalena Zacchi
Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml 2010 Ferruccio Damiani; Emiliano Leporati; Maddalena Zacchi
CWC simulator (Calculus of Wrapped Compartments) 2010 Marco Aldinucci; Angelo Troina; Ferruccio Damiani; Mario Coppo; Maurizio Drocco; Daniele Rispoli; Eva Sciacca; Salvatore Spinella; Elena Grassi; Maddalena Zacchi
Access control in mobile ambient calculi: A comparative view 2008 I. MARGARIA; M. ZACCHI
A filter model for safe ambients 2004 I. MARGARIA; M. ZACCHI
Generalized filter models 2000 I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline 1995 I. MARGARIA; M. ZACCHI
Principal Typing in a "Ù-Discipline 1995 I. MARGARIA; M. ZACCHI
Filter models with polymorphic types 1992 B. JACOBS; I. MARGARIA; M. ZACCHI
Type Theories, Normal Forms and D-infinity–lambda-models 1987 M. COPPO; M. DEZANI CIANCAGLINI; M. ZACCHI
Type inference and Logical relations 1986 M. Coppo;M. Zacchi
Type Inference and Logical Relations 1986 M. COPPO; M. ZACCHI
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System 1985 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi; M.Zacchi
Semantics of the CNET Internode Communication Mechanism 1985 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
Mostrati risultati da 1 a 20 di 29
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