Strona główna
Komunikaty
Cele i zadania
Zarząd
Członkowie
Terminarz spotkań
Kronika
Publikacje
Galeria zdjęć
Wsparcie finansowe
Kontakt
ESSLLI 2012, Opole, Poland
www.esslli2012.pl
Trzydzieste szóste spotkanie GLLI
prof. Urzyczyn

12 kwietnia 2016 w ramach spotkania GLLI wykład pt. Formuły-typy-gry: izomorfizm Curry'ego-Howarda-Lorenzena wygłosił prof. Paweł Urzyczyn (Instytut Informatyki, Uniwersytet Warszawski).