IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 99
Titolo Data di pubblicazione Autore(i) File
Realizability. Special Issue of Mathematical Structures in Computer Science 1-gen-2002 Birkedal, L.; Scott, D. S.; Rosolini, Giuseppe; VAN OOSTEN, J.
Fixpoint operators for domain equations 1-gen-2002 J., Power; Rosolini, Giuseppe
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 1-gen-2004 Birkedal, L.; Escardo, M.; Jung, A.; Rosolini, Giuseppe
Sfida coi numeri 1-gen-2004 G., Filocamo; Rosolini, Giuseppe
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 1-gen-2004 Birkedal, L.; Escardo, M.; Jung, A.; Rosolini, Giuseppe
Le stanze dei numeri 1-gen-2005 G., Filocamo; Rosolini, Giuseppe
Una fetta di scienza 1-gen-2005 G., Filocamo; Rosolini, Giuseppe
Spaces as comonoids 1-gen-2005 Bucalo, Anna; Rosolini, Giuseppe
La fabbrica dei numeri 1-gen-2006 G., Filocamo; Rosolini, Giuseppe
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 1-gen-2006 L., Birkedal; R., Mogelberg; Rosolini, Giuseppe
Completions, comonoids, and topological spaces 1-gen-2006 Bucalo, A.; Rosolini, Giuseppe
MateFitness - La Palestra della Matematica 1-gen-2006 G., Filocamo; Rosolini, Giuseppe
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 1-gen-2006 Martin, Hyland; Misao, Nagayama; John, Power; Rosolini, Giuseppe
Discorrendo in un bar a Genova, in via Albaro 1-gen-2007 Lucchetti, Roberto; Rosolini, Giuseppe
Etnomatematica 1-gen-2007 G., Filocamo; L., Carida'; Rosolini, Giuseppe
Alan Turing: tra logica e informatica 1-gen-2008 Rosolini, Giuseppe
Synthetic domain theory and models of linear Abadi-Plotkin logic 1-gen-2008 Mogelberg, R.; Birkedal, L.; Rosolini, Giuseppe
Una matematica diversa 1-gen-2008 G., Filocamo; Rosolini, Giuseppe
Logica nelle applicazioni 1-gen-2009 Ghilardi, S; Rosolini, Giuseppe
Digilandia 1-gen-2009 G., Filocamo; Rosolini, Giuseppe
Mostrati risultati da 41 a 60 di 99
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