ROSOLINI, GIUSEPPE

ROSOLINI, GIUSEPPE  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 1-gen-2006 Martin, Hyland; Misao, Nagayama; John, Power; Rosolini, Giuseppe
A characterisation of elementary fibrations 1-gen-2022 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
A comonad for Grothendieck fibrations 1-gen-2024 Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas
A note on Cauchy completeness for preorders 1-gen-1999 Rosolini, Giuseppe
About modest sets 1-gen-1990 Rosolini, Giuseppe
An algebraic description of some state-dependent failure mechanisms 1-gen-1988 Schreiber, Fabio A; Rosolini, Giuseppe
Cantor Al Bar 1-gen-2018 Lucchetti, Roberto; Rosolini, Giuseppe
Cantor e gli insiemi 1-gen-2018 Rosolini, Giuseppe
Categories of partial maps 1-gen-1988 Robinson, E.; Rosolini, Giuseppe
Colimit completions and the effective topos 1-gen-1990 Robinson, E.; Rosolini, Giuseppe
Comparing models of higher type computation 1-gen-1999 Rosolini, Giuseppe; S. T. R. E. I. C. H. E. R., T.
Completions, comonoids, and topological spaces 1-gen-2006 Bucalo, A.; Rosolini, Giuseppe
Connessioni 1-gen-2012 Rosolini, Giuseppe
Custom automations in Mizar 1-gen-2013 Caminati, M; Rosolini, Giuseppe
Dagli insiemi alle categorie 1-gen-2014 Rosolini, Giuseppe
Discorrendo in un bar a Genova, in via Albaro 1-gen-2007 Lucchetti, Roberto; Rosolini, Giuseppe
Doctrines, modalities and comonads 1-gen-2021 Dagnino, Francesco; 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
Domains and dominical categories 1-gen-1985 Rosolini, Giuseppe
Domains in H 1-gen-2001 Fiore, M.; Rosolini, Giuseppe