Zardini and Redmond @ BA LOGIC WIP Seminar

0 (1) 

Last Friday we had two great guests at our WIP Seminar!

Elia Zardini (University of Lisbon, Portugal) presented his paper “Instability and Contraction” and Juan Redmond (University of Valparaíso, Chile) gave his talk titled “Dialogical Harmony: Tonk, constructive type theory and rules for anonymous players”