Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science (1210), Band 1210)

von: J. Roger Hindley · Philippe de Groote Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-62688-6 ISBN-10: 3-540-62688-3 Springer · 2008