PKK Library catalog › Results of search for 'su:{Lambda Calculus}'

	1.	Introduction to functional programming through Lambda calculus by Michaelson, Greg. Material type: Book Description: xv, 320p.Publisher: Wokingham, England Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1). Place hold Add to cart (remove)
	2.	LECTURES ON THE CURRY-HOWARD ISOMORPHISM by Sorensen,Morten Heine \| Urzyczyn,Pawel. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,442.Publisher: Elsevier, Amsterdam 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.326 SO68L] (1). Place hold Add to cart (remove)
	3.	LOGIC COLLOQUIUM' 82 by Lolli, G \| Longo, G \| . Description: viii,358.Publisher: Amsterdam North-Holland 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 L829] (1). Place hold Add to cart (remove)

PKK Library