Mathematical Logic in Padua

Links

• AILA
• EC TYPES Working Group
• McTafi

Some Constructive Topology Web pages

• Aczel, Peter
• Bridges, Douglas
• Coquand, Thierry
• Palmgren, Erik
• Schuster, Peter
• Spitters, Bas
• Vickers, Steve
• Vita, Luminita