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

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). 


.