Your search returned 3 results.

Results
	1.	Computations in higher types / Johan Moldestad by Moldestad, Johan, 1946- Series: Lecture notes in mathematics. a collection of informal reports and seminars ; ; No. 574 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, c1977 Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497. Place hold Request article Save to lists
	2.	No cover image available The calculi of lambda-conversion / by Alonzo Church by Church, Alonzo, 1903-1995 Series: Annals of mathematical studies ; no. 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton : The University Press, 1941 Availability: Items available for loan: National Library of India (1)Call number: 152 H 579. Place hold Request article Save to lists
	3.	Recursive Macroeconomic theory / Lars Ljungqvist [and] Thomas J. Sargent by Ljungqvist, Lars Sargent, Thomas J [jt.aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Mass. : MIT Press, c2000 Availability: Items available for loan: National Library of India (1)Call number: E 339.01 L 769. Place hold Request article Save to lists

Refine your search