Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
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 The lambda calculus : its syntax and semantics
      1. 
      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 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
      2. 
      Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
      by 
      Conference on Alternative Semantics (1970 : Temple University)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/68
      Format: 
      Excerpt: 
      Semantics / Conference on Alternative Semantics (1970 : Temple University)
      Cover image for A transfinite type theory with type variables
      3. 
      A transfinite type theory with type variables
      by 
      Andrews, P. B. (Peter Bruce), 1937-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37
      Format: 
      Excerpt: 
      semantics of the System Q₀.