The Yoneda Reduction of Polymorphic Types
Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).
Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).
Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).
Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).
Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).
This is the second edition of the CMAFcIO Open Meetings.
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
Mathematical Logic Webinar, por José Mestre (Stirling/St Andrews and LanCog - CFUL).
Geometry Webinar, por João Pedro dos Santos (Universidade de Paris-Sorbonne e Universidade de Montpellier).
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).