Home
Announcements
Aims and tasks
Board
List of Members
Schedule
Chronicle
Publications
Photo gallery
Financial support
Contact us
ESSLLI 2012, Opole, Poland
www.esslli2012.pl
The 36th meeting of the GLLI
prof. Urzyczyn

On 12 April 2016, Professor PaweĊ‚ Urzyczyn (Institute of Informatics, University of Warsaw, Poland) will deliver the lecture under the title Formulas-as-types-as-games: the Curry-Howard-Lorenzen isomorphism