Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 3 résultats de 3 pour la requête '"Lambda calculus."', Temps de recherche: 0,03s Affiner les résultats
  1. 1
    Proofs and types /
    par Girard, Jean-Yves
    Publié 1989
    Sujets: “...Lambda calculus. 2520...”
    Printed Book
  2. 2
    Lambda-calculus and combinators, an introduction /
    par Hindley, J. Roger
    Publié 2008
    Sujets: “...Lambda calculus....”
    Printed Book
  3. 3
    Lambda-calculus and combinators, an introduction /
    par Hindley, J. Roger
    Publié 2008
    Sujets: “...Lambda calculus. 2520...”
    Printed Book
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel