12 found
Order:
Disambiguations:
Luis E. Sanchis [9]Luis Elpidio Sanchis [4]
  1.  2
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  2
    Luis E. Sanchis (1979). Reducibilities in Two Models for Combinatory Logic. Journal of Symbolic Logic 44 (2):221-234.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  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  
  4. 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   1 citation  
  5.  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  
  6.  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  
  7.  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  
  8.  2
    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  
  9. 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  
  10. Luis E. Sanchis (1978). Hyperenumeration Reducibility. Notre Dame Journal of Formal Logic 19 (3):405-415.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. 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  
  12.  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