Resultados de búsqueda - "Lambda"

  • Mostrando 1 - 10 Resultados de 10
Limitar resultados
  1. 1

    Procesamiento eficaz de archivos de empleados utilizando tecnología serverless por Finocchi, Alejo

    2021
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  2. 2

    Procesamiento eficaz de archivos de empleados utilizando tecnología serverless por Finocchi, Alejo

    2021
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  3. 3

    Agregando polimorfismo a una lógica que identifica proposiciones isomorfas por Sottile, Cristian

    2020
    Temas: “…CÁLCULO LAMBDA…”
    Enlace del recurso / Disponible en línea
    Tesis
  4. 4

    Hacia un sistema I polimórfico por Sottile, Cristian

    Temas: “…CÁLCULO LAMBDA…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  5. 5

    A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    The intensional lambda calculus por Artemov, Sergei

    Temas: “…CÁLCULO LAMBDA…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  7. 7

    Agregando polimorfismo a una lógica que identifica proposiciones isomorfas por Sottile, Cristian

    2020
    Temas: “…CÁLCULO LAMBDA 46175…”
    Enlace del recurso / Disponible en línea
    Tesis
  8. 8

    Hacia un sistema I polimórfico por Sottile, Cristian

    Temas: “…CÁLCULO LAMBDA 46175…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  9. 9

    A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  10. 10

    The intensional lambda calculus por Artemov, Sergei

    Temas: “…CÁLCULO LAMBDA 46175…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: