M B ยท Marc Bezem
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 19983 Utrecht, the N | 978-O-387-56517-O (O-387-56517-5) | 1993 |