PKK Library catalog › Results of search for 'au:"Huet, Gerard [ed.]"'

	1.	LOGICAL FRAMEWORKS by Huet, Gerard [ed.] \| Plotkin, G. [ed.]. Material type: Book Description: xii, 403p.Publisher: Cambridge Cambridge Univ. Pr. c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1). Place hold Add to cart (remove)
	2.	From semantics to computer science : essays in honour of Gilles Kahn by Bertot, Yves [ed.] \| Huet, Gerard [ed.] \| Levy, Jean-Jacques [ed.] \| Plotkin, Gordon [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xix, 574p.Publisher: Cambridge Cambridge University Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 F925] (1). Place hold Add to cart (remove)

PKK Library