Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science, Band 5608)

Applications

von Pierre-Louis Curien

Taschenbuch

EAN=ISBN-13: 978-3-642-02272-2

ISBN-10: 3-642-02272-3

Springer · 2009