7 found
Sort by:
  1. Felice Cardone & J. Roger Hindley (2009). Lambda-Calculus and Combinators in the 20th Century. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. 5--723.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. J. Roger Hindley (1993). BCK and BCI Logics, Condensed Detachment and the $2$-Property. [REVIEW] Notre Dame Journal of Formal Logic 34 (2):231-250.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. J. Roger Hindley & David Meredith (1990). Principal Type-Schemes and Condensed Detachment. Journal of Symbolic Logic 55 (1):90-105.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin (1989). On Adding (Ξ) to Weak Equality in Combinatory Logic. Journal of Symbolic Logic 54 (2):590-607.
    Because the main difference between combinatory weak equality and λβ-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β-equality is to add rule (ξ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in (ξ) very carefully. If one tries to use one of the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
    Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) (1980). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.
  7. J. Roger Hindley (1972). Introduction to Combinatory Logic. Cambridge [Eng.]University Press.
    Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...
    Direct download  
     
    My bibliography  
     
    Export citation