Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93

By clibrary on Mon, 06/23/2025 - 20:13
Author

Marc Bezem, Jan Friso Groote

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

664

ISBN

9783540475866

URL
http://dx.doi.org/10.1007/BFb0037093