

An edition of Typed Lambda Calculi and Applications (2013)
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
By Masahito Hasegawa
Publish Date
2013
Publisher
Springer Berlin Heidelberg,Imprint: Springer
Language
eng
Pages
263