Podstawy Informatyki
Prowadzący:
Marek Zaionc
Zwyczajowy czas i miejsce: środa, 12:15-14:00, sala 0086
Strona WWW: www.tcs.uj.edu.pl/csfs
Termin: 12.01.2011
Referent: Tomasz Krakowiak
Tytuł referatu: Complexity of Type Inference
(paper by Jurek Tyszkiewicz)
(paper by Jurek Tyszkiewicz)
Streszczenie: The main result is the proof of PTIME-completeness of the type reconstruction problem for simply typed lambda calculus.