Science & MathematicsTyped Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Item 1 of 1
Item 1 of 1
SKU 9783642389450Publishing Ref 9783642389450
Springer
Typed Lambda Calculi and Applications : 11th International Conference