Отображение сетевого контента
Отображение сетевого контента
Podstawy Informatyki
Organizers:
Marek Zaionc
Usual time and place: środa, 12:15-14:00, sala 0086
site-www: www.tcs.uj.edu.pl/csfs
event-date: 03.11.2010
Speaker: Katarzyna Grygiel
Title of the talk: Asymptotically almost all lambda terms are strongly normalizing (2)