IMSc Library catalog › Results of search for 'ccl=su:"Lambda Calculi"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Lambda Calculi : Guide for Computer Scientists (GTCS 3) by Hankin, Chris. Series: Graduate Texts in Computer Science, 3Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAN. Place hold Log in to add tags
			Domains and Lambda-Calculi (CTTCS : 46) by Amadio, Roberto M \| Curien, Pierre-Louis. Series: Cambridge Tracts in Theoretical Computer Science, Vol.46Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 AMA. Place hold Log in to add tags
			Typed Lambda Calculi and Applications : Proceedings of the 5th International Conference, Poland, 2001 by Abramsky, Samson. Ed. Series: Lecture notes in computer science ; 02044Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags