Order:
Disambiguations
Roger Hindley [5]R. Hindley [4]
  1.  45
    Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
  2.  43
    Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
  3. Axioms for strong reduction in combinatory logic.Roger Hindley - 1967 - Journal of Symbolic Logic 32 (2):224-236.
  4.  30
    An abstract church-Rosser theorem. II: Applications.R. Hindley - 1974 - Journal of Symbolic Logic 39 (1):1-21.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  42
    An Abstract form of the church-rosser theorem. I.R. Hindley - 1969 - Journal of Symbolic Logic 34 (4):545-560.
    One of the basic results in the theory of λ-conversion is the Church-Rosser Theorem, which says that, using certain rules for conversion and reduction of λ-formulae, any two interconvertible formulae can both be reduced to one formula. (I will not explain this in detail, as λ-conversion is described fully in Church's [2], where the Church-Rosser Theorem is Theorem 7 XXVII; see also Chapter 4 of Curry and Feys' [3].) The first part of the present paper contains an abstract form of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  19
    Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Mathematical Logic Quarterly 23 (7‐12):169-180.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  31
    Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation