IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 99
Titolo Data di pubblicazione Autore(i) File
A categorical view of process refinement 1-gen-1993 Degano, P.; Gorrieri, R.; Rosolini, Giuseppe
Reflexive graphs and parametric polymorphism 1-gen-1994 Robinson, E. P; Rosolini, Giuseppe
Domains and Denotational Semantics: History, Accomplishments and Open Problems 1-gen-1996 Fiore, M. P.; Jung, A.; Moggi, Eugenio; O'Hearn, P.; Riecke, J.; Rosolini, Giuseppe
Two models of Synthetic Domain Theory 1-gen-1997 Fiore, M. P.; Rosolini, Giuseppe
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 1-gen-1997 Moggi, Eugenio; Rosolini, Giuseppe
Studying repleteness in the category of cpos 1-gen-1997 Makkai, M.; Rosolini, Giuseppe
The category of cpos from a synthetic viewpoint 1-gen-1997 Fiore, M.; Rosolini, Giuseppe
Lifting 1-gen-1997 Bucalo, A.; Rosolini, Giuseppe
A modular approach to denotational semantics 1-gen-1998 Power, A. J.; Rosolini, Giuseppe
Type theory via exact categories (extended abstract) 1-gen-1998 L., Birkedal; Carboni, Aurelio; Rosolini, Giuseppe; D. S., Scott
Repleteness and the associated sheaf 1-gen-1998 Bucalo, Anna; Rosolini, Giuseppe
Comparing models of higher type computation 1-gen-1999 Rosolini, Giuseppe; S. T. R. E. I. C. H. E. R., T.
A note on Cauchy completeness for preorders 1-gen-1999 Rosolini, Giuseppe
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 1-gen-1999 L., Birkedal; Rosolini, Giuseppe; D. S., Scott; J., van Oosten
Electronic Notes in Theoretical Computer Science: Preface 1-gen-1999 Hofmann, Martin; Rosolini, Giuseppe; Pavlovic, Dusko
Equilogical spaces and filter spaces 1-gen-2000 Rosolini, Giuseppe
Locally cartesian closed exact completions 1-gen-2000 Carboni, Aurelio; Rosolini, Giuseppe
CT2000 Conference. Special Issue of Theory and Applications of Categories 1-gen-2001 Rosolini, Giuseppe; Carboni, A.; Walters, R.
An abstract look at realizability 1-gen-2001 E. P., Robinson; Rosolini, Giuseppe
Domains in H 1-gen-2001 Fiore, M.; Rosolini, Giuseppe
Mostrati risultati da 21 a 40 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