Materias dentro de su búsqueda.
Mostrando 1 - 6 Resultados de 6 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    The lambda calculus : its syntax and semantics
    por Barendregt, H. P.
    Publicado 1981
    Libro
  2. 2
    The lambda calculus : its syntax and semantics
    por Barendregt, H. P.
    Publicado 1985
    Libro
  3. 3
    Lambda-calculus, types and models
    por Krivine, J. L.
    Publicado 1993
    Libro
  4. 4
    The calculi of lambda-conversion
    por Church, Alonzo, 1903-1995
    Publicado 1985
    Libro
  5. 5
    Computable structures and the hyperarithmetical hierarchy
    por Ash, C. J.
    Publicado 2006
    Libro
  6. 6
    Lectures on the Curry-Howard isomorphism
    por Sorensen, Morten Heine
    Publicado 2007
    Libro

Herramientas de búsqueda: