Le 19 mars 2012, à 13h30 en salle B311, le séminaire LCR accueille Thomas Streicher (Darmstadt).

A gentle introduction to the theory of triposes, intuitionistic realizability toposes, and the motivations behind them.