You are not logged in | Log in

Kategoryjna teoria instytucji

Speaker(s)
Michał R. Przybyłek
Affiliation
Uniwersytet Warszawski
Date
April 12, 2010, 10:15 a.m.
Room
room 4790
Seminar
Seminar Semantics, Logic, Verification and its Applications

Na seminarium opowiem o swoich najnowszych pracach związanych z kateogryjnym podejściem do połączenia, zmieniających się wzdłuż ustalonego języka, świata teorii i świata modeli. Będzie o modułach, prorozwłóknieniach i kategoryzacji pojęcia instytucji.