IMSc Library catalog › Results of search for 'au:"Girard, Jean-Yves Ed.,"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Advances in linear logic by Girard, Jean-Yves. Ed \| Lafont, Yves. Ed \| Regnier, Laurent. Ed. Series: London mathematical society lecture note series ; 00222Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIR. 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