http://www-lipn.univ-paris13.fr/actualites/ en Tue, 31 Jul 2012 18:27:28 +0200 Webmaster: Jean-Christophe Dubacq http://blogs.law.harvard.edu/tech/rss Dotclear http://www-lipn.univ-paris13.fr/actualites/post/Introduction-to-triposes-and-intuitionistic-realizability-toposes urn:md5:2f462ca4216cb41eacc67d5209fd9271 Monday 26 March 2012 damiano Seminars LCRréalisabilité intuitionnisteséminaire LCRtopostripos <p>Le 19 mars 2012, à 13h30 en salle B311, le séminaire LCR accueille <strong><a hreflang="en" href="http://www.mathematik.tu-darmstadt.de/%7Estreicher/">Thomas Streicher</a></strong> (Darmstadt).</p> <p>A gentle introduction to the theory of triposes, intuitionistic realizability toposes, and the motivations behind them.</p>