Title: Typed Lambda Calculi and Applications
First published: August 5, 2003
Subjects: Lambda calculus, Congresses