Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom

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

Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Publisher

Springer

Subject

Computer Science

Year

1995

Vol/Edition

902

ISBN

9783540491781

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