polski
Computer Science Foundations
Organizers:
Marek Zaionc
Usual time and place: Wednesday, 12:15-14:00, room 0086
site-www: tcs.uj.edu.pl/csfs?lang=0
event-date: 03.11.2010
Speaker: Katarzyna Grygiel
Title of the talk: Asymptotically almost all lambda terms are strongly normalizing (2)