Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Christophe Raffalli
Jednostki:
Publikacje
Publikacje:
1.
Rene David,
Katarzyna Grygiel
,
Jakub Kozik
, Christophe Raffalli, Guillaume Theyssier,
Asymptotically almost all λ-terms are strongly normalizing
,
Logical Methods in Computer Science
vol. 9 (1:02) (2013), 1-30
6209