3rd Workshop on Formal Topology

 

Tutorials download

Thierry Coquand

• A short introduction to type theory

Martin Escardo

• Synthetic topology of data types and classical spaces
• Operational domain theory and topology of sequential programming languages
• Infinite sets that admit fast exhaustive search

Henri Lombardi

• Geometric theories, lazy computations, constructive algebra
• Dimensions de Heitmann des treillis distributifs et des anneauxs commutatifs
• Hidden constructions in abstract algebra (3): Krull dimension of distributive lattices and commutative rings

Ales Pultr

• Managing without points

Michael Rathjen

• Notes on constructive set theory

Giovanni Sambin

• Tutorial on formal topology and the basic picture