14 found
Order:
Disambiguations:
Luis E. Sanchis [11]Luis Elpidio Sanchis [4]
  1. Luis Elpidio Sanchis (1967). Functionals Defined by Recursion. Notre Dame Journal of Formal Logic 8 (3):161-174.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  2.  3
    Luis E. Sanchis (1987). Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus. Journal of Symbolic Logic 52 (1):243-275.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  4
    Luis E. Sanchis (1964). Types in Combinatory Logic. Notre Dame Journal of Formal Logic 5 (3):161-180.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  2
    Luis E. Sanchis (1979). Reducibilities in Two Models for Combinatory Logic. Journal of Symbolic Logic 44 (2):221-234.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Luis E. Sanchis (1978). Hyperenumeration Reducibility. Notre Dame Journal of Formal Logic 19 (3):405-415.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  5
    Luis Elpidio Sanchis (1961). Nueva Demostracion de la Completicidad Funcional Del Calculo Proposicional Bivalente. Notre Dame Journal of Formal Logic 2 (1):33-40.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Luis E. Sanchis (1970). Review: Gerold Stahl, Ideas Generales de la Lógica Combinatoria. [REVIEW] Journal of Symbolic Logic 35 (2):321-321.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  2
    Ignacio Angelelli, Robert Bull, Jean E. Rubin, F. Gonzalez Asenjo, John Thomas Canty, Luis Elpidio Sanchis, Nuel D. Belnap, George Goe, Wilson E. Singletary & Ivan Boh (2010). Introduction to the Fiftieth Anniversary Issues. Notre Dame Journal of Formal Logic 51 (1).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    Luis E. Sanchis (1973). Formally Defined Operations in Kripke Models. Notre Dame Journal of Formal Logic 14 (4):467-480.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10. Luis E. Sanchis (1971). A Generalization of the Gentzen Hauptsatz. Notre Dame Journal of Formal Logic 12 (4):499-504.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11. Luis E. Sanchis (1971). Lercher Bruce. Strong Reduction and Normal Form in Combinatory Logic. Journal of Symbolic Logic 36 (1):171.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Luis E. Sanchis (1971). Review: Bruce Lercher, Strong Reduction and Normal Form in Combinatory Logic. [REVIEW] Journal of Symbolic Logic 36 (1):171-171.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Luis E. Sanchis (1992). Recursive Functionals. North-Holland.
    This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. Luis E. Sanchis (1970). Stahl Gerold. Ideas Generales de la Lógica Combinatoria. Revista de Matemáticas de la Universidad de Chile, Vol. 5 No. 1 , Pp. 20–27. [REVIEW] Journal of Symbolic Logic 35 (2):321.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography