Résultat(s) 1 - 11 résultats de 11 pour la requête '"lambda-calcul"', Temps de recherche: 0,17s Affiner les résultats
  1. 1
    Calcul différentiel et équations différentielles : licence de mathématiques
    par Elkhadiri, Abdelhafed
    Ellipses, 2015
    Sujets: “...Lambda-calcul...”
    Livre papier

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most
    Sujets: “...lambda-calcul...”
    Accès Université d'Orléans et IFPM
    Accès Université d'Orléans et IFPM
    Article ou chapitre numérique

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
    par Saint-James, Emmanuel, 1956-
    Hermès, 1993
    Sujets: “...Lambda-calcul...”
    Livre papier

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Logique, réduction, résolution
    Sujets: “...Lambda-calcul...”
    Livre papier

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Lambda-calcul : types et modèles
    par Krivine, Jean-Louis, 1939-
    Masson, 1990
    Sujets: “...Lambda-calcul...”
    Livre papier

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16 18, 1993, Utrech, The Netherlands : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
    Sujets: “...Lambda-calcul...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche