Pawel Urzyczyn

Typed Lambda Calculi and Applications
Mathematical Foundations of Computer Science 2006