Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Författare
Luke. Ong
(Edited by Luke Ong.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2011 Tyskland, Berlin, Heidelberg 978-3-642-21691-6