Podstawy Informatyki

Organizers: Marek Zaionc
Usual time and place: środa, 12:15-14:00, sala 0086
event-date: 03.11.2010
Speaker: Katarzyna Grygiel
Title of the talk: Asymptotically almost all lambda terms are strongly normalizing (2)