po polsku

Marcin Benke

Research

my research interests lie in functional programming, lambda calculus and type theory. You are welcome to browse my papers

Teaching

Some info on the courses I teach (mostly in Polish)

Address

Institute of Informatics
Warsaw University
Banacha 2
02-097 WARSAW, POLAND