Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 19983 Utrecht, the N (Lecture Notes in Computer Science)

Applications

by M. Bezem

Paperback

ISBN: 978-0-387-56517-0

ISBN-10: 0-387-56517-5

Springer Verlag · 1993