Title: Typed lambda calculi and applications
First published: 1997
Subjects: Lambda calculus, Congresses, Logic, symbolic and mathematical
LC classification: QA9.5 .I58 1997