Searching for authors named "Giuseppe Rosolini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Domains in H
by Marcelo P. Fiore, Giuseppe Rosolini
…Domains in H Marcelo P. Fiore COGS, University of Sussex Giuseppe Rosolini DISI, Universit`a di…
Add To MetaCart

Two Models of Synthetic Domain Theory
by Marcelo P. Fiore, Giuseppe Rosolini — 1997
… birthday Marcelo P. Fiore a;1 , Giuseppe Rosolini b;2 a LFCS, The King's Buildings, Edinburgh EH9 3JZ…
Cited by 10 (3 self) – Add To MetaCart

A MODEL OF INTUITIONISTIC SET THEORY
by Atti Degli Incontri, Giuseppe Rosolini
… OF INTUITIONISTIC SET THEORY GIUSEPPE ROSOLINI We shall present a realizability model for the intuitionistic theory…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB