News

Seminario: A Glimpse at Krivine's Classical Realizability and some more recent developments

Lunedì 18 Aprile 2016, ore 15:00 - Aula 2BC30 - Thomas Streicher

ARGOMENTI: Seminari

Seminario

Lunedì 18 Aprile 2016 alle ore 15:00 in Aula 2BC30, Thomas Streicher (Technische Universität Darmstadt) terrà un seminario dal titolo "A Glimpse at Krivine's Classical Realizability and some more recent developments".

Abstract
I will introduce the basic ideas of classical realizability and discuss their relation to categorical semantics. In particular, I will discuss a model based on domain models of lambda calculus.

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X