IMSc Library catalog › Results of search for 'su:"Lambda calculus"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Derivation and Computation :(CTC 51) by Simmons, H. Series: Cambridge Tracts in Theoretical Computer Science, 51Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SIM. Place hold Log in to add tags
			Language in Action : Categories, Lambdas and Dynamic Logic by van Benthem, Johan. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN. Place hold Log in to add tags
			Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Girard, Jean-Yves Ed. Series: Lecture notes in computer science ; 01581Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags