UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) Rivista Editore
Jump from Parallel to Sequential Proofs : Exponentials In corso di stampa DI GIAMBERARDINO, Paolo MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
On Session Types and Polynomial Time 1-gen-2016 Dal Lago, Ugo; DI GIAMBERARDINO, Paolo MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
Vicious circles in contracts and in logic 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Debits and Credits in Petri Nets and Linear Logic 1-gen-2015 Bartoletti, Massimo; Degano, P; DI GIAMBERARDINO, Paolo; Zunino, R. - Springer
Towards a linear contract logic 1-gen-2013 Bartoletti, Massimo; DI GIAMBERARDINO, Paolo; Roberto, Zunino - -
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Soft Session Types 1-gen-2011 DI GIAMBERARDINO, Paolo; Ugo dal, Lago ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Proof nets sequentialisation in multiplicative linear logic 1-gen-2008 DI GIAMBERARDINO, Paolo; Faggian, Claudia ANNALS OF PURE AND APPLIED LOGIC -
Jump from Parallel to Sequential Proofs: Multiplicatives 1-gen-2006 DI GIAMBERARDINO, Paolo; Faggian, Claudia - Zoltán Ésik
Mostrati risultati da 1 a 9 di 9
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