Record:   Prev Next
作者 International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia)
書名 Typed lambda calculi and applications [electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / edited by Luke Ong
出版項 Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
國際標準書號 9783642216916 (electronic bk.)
9783642216909 (paper)
book jacket
Record:   Prev Next