The Tsinghua-UvA Joint Research Center has been include […] Center appears as a highlight in Grenzenloos Nieuwsgierig
Time: 2017 Oct. 13, 13:30-15:55 Venue: 6B312, Classroom […] [talk] Second-Order Abstraction before and After Russells Paradox (Matthias Schirn)
