Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science, Band 7941)
von
Masahito Hasegawa
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-38945-0
ISBN-10: 3-642-38945-7
Springer
· 2013
