International Conference On Typed Lambda Calculi And Applications 5th 2001 Krakow Poland Books
Typed Lambda Calculi and Applications
By Samson Abramsky, International Conference On Typed Lambda Calculi And Applications 5th 2001 Krakow Poland
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 ProceedingsAuthor: Samson Abramsky Published by Springer Berlin Heidelberg ISBN: 978-3-5...
Read More