ROSOLINI, GIUSEPPE

ROSOLINI, GIUSEPPE  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
Alan Turing: tra logica e informatica 1-gen-2008 Rosolini, Giuseppe
Algebraic types in PER models 1-gen-1990 M., Hyland; E., Robinson; Rosolini, Giuseppe
An abstract look at realizability 1-gen-2001 E. P., Robinson; Rosolini, Giuseppe
Dinaturality for free 1-gen-1992 P., Freyd; E., Robinson; Rosolini, Giuseppe
Gödel al bar 1-gen-2011 Lucchetti, Roberto; Rosolini, Giuseppe
Il gioco della logica di Lewis Carroll (e di altri) 1-gen-2011 Pagnan, Ruggero; Rosolini, Giuseppe
La resa della logica 1-gen-2010 Rosolini, Giuseppe
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 1-gen-2018 Rosolini, Giuseppe
Relating Quotient Completions via Categorical Logic 1-gen-2016 Maietti, Maria Emilia; Rosolini, Giuseppe
Representation theorems for p-categories 1-gen-1988 Rosolini, Giuseppe
Spaces as comonoids 1-gen-2005 Bucalo, Anna; Rosolini, Giuseppe