Typed Lambda Calculi And Applications 11th International Conference Tlca 2013 | Desertcart EGYPT
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science, 7941)