Effectiveness and Continuity in Categorical Logic

Dove e quando

DIMA, 12-13 september 2024

In the fall of 2024 prof. Pino Rosolini will turn 70: on this occasion, we plan to hold a workshop in Genoa to honour him and his contribution to research, teaching and dissemination of mathematics.

See https://logic.dima.unige.it/eccl-24/ for details

Ultimo aggiornamento 24 Aprile 2024