Title: Typed lambda calculi and applications
First published: 1999
Subjects: Lambda calculus, Congresses, Calculus
LC classification: QA9.5 .I58 1999