UPPSALA UNIVERSITY
Department of Mathematics
Symposium on Constructivity and Computability
in Algebra, Analysis, Logic and Topology
Uppsala, 9-10 June 2011
The final programme is available
here
Presentations
Some slides, notes and papers related to presentations during the symposium
Thierry Coquand,
Constructive finite free resolutions
(presentation by abstract).
Sara Negri
Constructive embeddings of intermediate logics.
Links to cited
papers.
Erik Palmgren,
Nonstandard analysis and Brouwer's continuity principle
Dirk Pattinson,
Algebraic representation of higher order functions.
Iosif Petrakis,
Extension of Scott's information systems to regular and T1 spaces.
July 22, 2011,
Erik Palmgren
.