Pawel Urzyczyn

Pawel Urzyczyn is the author of books such as Typed Lambda Calculi and Applications.