Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... Notes in Computer Science (902), Band 902)

von: Gordon Plotkin · Mariangiola Dezani-Ciancaglini Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-59048-4 ISBN-10: 3-540-59048-X Springer · 2008