Giuseppe Rosolini is an Italian theoretical computer scientist.

synthetic domain theory

realizability topos

recursive topos

Last revised on November 2, 2016 at 14:21:39. See the history of this page for a list of all contributions to it.