A
A
A

Uniwersytet Opolski / Opole University

Forthem - Uniwersytet Opolski / Forthem - University of Opole

Formuły-typy-gry: izomorfizm Curry'ego-Howarda-Lorenzena

2016-04-10 21:37:14 Wydarzyło się
Zdjęcie nagłówkowe otwierające podstronę: Formuły-typy-gry: izomorfizm Curry'ego-Howarda-Lorenzena

Zapraszamy na wykład pt. Formuły-typy-gry: izomorfizm Curry'ego-Howarda-Lorenzena,  który wygłosi prof. Paweł Urzyczyn (Instytut Informatyki, Uniwersytet Warszawski). Wykład organizowany jest przez Grupę Logiki, Języka i Informacji oraz Instytut Matematyki i Informatyki Uniwersytetu Opolskiego odbędzie się 12 kwietnia (wtorek) 2016r. o godz. 12.30 w sali nr 15 w gmachu Collegium Civitas Uniwersytetu Opolskiego (ul. Katowicka 89). 


.