Maciej Bendkowski
dr
phone (+48-12) 664 75 58
fax (+48-12) 664 66 72
email
address ul. Łojasiewicza 6, 30-348 Kraków
room 3061
office hours Please send me an email.
www private

Master Thesis

Non-normalising S-terms

Research Interests

  • Lambda calculus
  • Combinatory logic
  • Analytic combinatorics