Typed Lambda Calculi and Applications
von
Pawel Urzyczyn
Taschenbuch
Details (
USA
)
ISBN: 978-3-540-80995-1
ISBN-10: 3-540-80995-3
Springer
· 2008
