Maciej Bendkowski
dr
telefon (+48-12) 664 75 58
fax (+48-12) 664 66 72
email
adres ul. Łojasiewicza 6, 30-348 Kraków
pokój 3061
dyżur Proszę umawiać się poprzez email.
www prywatna

Praca magisterska

Non-normalising S-terms

Zainteresowania badawcze

  • Rachunek lambda
  • Rachunek kombinatorów
  • Kombinatoryka analityczna

Manuskrypty

Maciej Bendkowski, Pierre Lescanne
Combinatorics of explicit substitutions
accepted for HOR 2018 and PPDP 2018
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal