PKK Library catalog › Results of search for 'au:"Huet,Gerard"'

	1.	LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING by Huet, Gerard. Material type: Book Description: xvi,491.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1). Place hold Add to cart (remove)
	2.	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)
	3.	LOGICAL ENVIRONMENTS by Huet,Gerard \| Plotkin,Gordon. Material type: Book; Format: print ; Literary form: not fiction Description: xiii,338.Publisher: Cambridge Univ. Press, Cambridge 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1). Place hold Add to cart (remove)
	4.	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