IMSc Library catalog › Details for: Typed Lambda Calculi and Applications : Proceedings of the 5th International Conference, Poland, 2001

Normal view MARC view ISBD view

Typed Lambda Calculi and Applications : Proceedings of the 5th International Conference, Poland, 2001

By: Abramsky, Samson. EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 02044Publication details: Berlin ; Springer ; 2001Description: 429ISBN: 3540419608Subject(s): Lambda Calculi and Applications

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		47092

Previous								Next
Previous	681 LNCS Public Key Cryptography, Proceedings of the 4th International Workshop, Korea, 2001	681 LNCS Automata, Languages and Programming, Proceedings of the 27th International Colloquium, Geneva, 2000	681 LNCS Advances in Exception Handling Techniques	681 LNCS Typed Lambda Calculi and Applications : Proceedings of the 5th International Conference, Poland, 2001	681 LNCS Foundations of Software Science and Computation Structures : Proceedings of the 4th International Conference,FOSSACS,ETAPS, Italy,2001	681 LNCS Financial Cryptography, Proceedings of the 4th International Conference, British West Indies, 2000	681 LNCS Randomness and completeness in computational complexity	Next

There are no comments on this title.

to post a comment.