<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[SNU Library Search for 'su:&quot;lambda calculus&quot;']]> </title> <link> https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22lambda%20calculus%22&#38;sort_by=&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22lambda%20calculus%22&#38;sort_by=&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;lambda calculus&quot;' at SNU Library]]> </description> <opensearch:totalResults>3</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22lambda%20calculus%22&#38;sort_by=&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522lambda%2520calculus%2522" startPage="" /> <item> <title> Foundations of object-oriented languages : types and semantics </title> <dc:identifier>ISBN:8120324560</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=11718</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8120324560.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Bruce, Kim B..<br /> Delhi, : MIT Press, 2002 .<br /> xx, 384 p. ; 24 cm..<br /> 8120324560 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=11718">Place hold on <em>Foundations of object-oriented languages</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=11718</guid> </item> <item> <title> Principles of Programming Languages: lambda calculus </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20416</link> <description> <![CDATA[ <p> By Kumar, S. Arun.<br /> Delhi Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20416">Place hold on <em>Principles of Programming Languages:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20416</guid> </item> <item> <title> Principles of Programming Languages: typed lambda calculus </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20421</link> <description> <![CDATA[ <p> By Kumar, S. Arun.<br /> Delhi Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=20421">Place hold on <em>Principles of Programming Languages:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=20421</guid> </item> </channel> </rss>
