Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings<br />Author: Samson Abramsky<br /> Pub…

Open Typed Lambda Calculi and Applications on INTEXT (intextdb.com).