Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Abstract computing machines a lambda calculus perspective by Series: Texts in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2005
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.22015113 K66.
Place hold Add to cart
2.
Lectures on the Curry-Howard isomorphism by Series: Studies in logic and the foundations of mathematics; v 149
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 2006
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.33 So713.
Place hold Add to cart
3.
Lambda calculus with types / Henk Barendregt, Wil Dekkers and Richard Statman, by Series: Perspectives in logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; Cambridge University Press, 2013
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 B248.
Place hold Add to cart
Pages
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in