Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Kraków, Poland, May 2-5, 2001 Proceedings / edited by Samson Abramsky.
Material type: TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:- 9783540454137
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
e-Book | ICCBS Digital Library | Not for loan |