★   2nd WORLD LOGIC DAY, Lisbon, Portugal   ★

Organized by Francisco Dionísio
Instituto Superior Técnico, University of Lisbon, January 14, 2020, 5:PM

Fernando Ferreira
Dept of Mathematics, University of Lisbon
What is a classical functional interpretation?