Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, (Lecture Notes in Computer Science)
Hardcover
details (
USA
).
ISBN: 978-0-387-59048-6
ISBN-10: 0-387-59048-X
Springer
See also:
2008
Taschenbuch
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)