Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Lambda calculus with types
      1. 
      Lambda calculus with types
      by 
      Barendregt, Henk.
      Click to View
      Format: 
      Excerpt: 
      Lambda calculus with types Barendregt, Henk.
      Cover image for The lambda calculus : its syntax and semantics
      2. 
      The lambda calculus : its syntax and semantics
      by 
      Barendregt, H. P. (Hendrik Pieter)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875082
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
      Format: 
      Excerpt: 
      The lambda calculus : its syntax and semantics / Barendregt, H. P. (Hendrik Pieter)
      Cover image for Lectures on the Curry-Howard isomorphism
      3. 
      Lectures on the Curry-Howard isomorphism
      by 
      Sørensen, Morten Heine.
      Click to View
      Format: 
      Excerpt: 
      Lambda calculus.
      Cover image for Language in action : categories, lambdas, and dynamic logic
      4. 
      Cover image for Lectures on the Curry-Howard isomorphism
      5.