Tag lambda-calculus - Ceci est la page 14 - GeneraCodice

Séquençage ou continuation-passage dans pure lambda-calcul

https://www.generacodice.com/fr/articolo/2478643/sequencage-ou-continuation-passage-dans-pure-lambda-calcul
  lambda-calculus
cs.stackexchange cs.stackexchange

Les listes peuvent-elles être définies d’une manière spéciale afin qu’elles contiennent des éléments de types différents ?

https://www.generacodice.com/fr/articolo/2475569/les-listes-peuvent-elles-etre-definies-d-une-maniere-speciale-afin-qu-elles-contiennent-des-elements-de-types-differents
  functional-programming  -  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

Comment comprendre quantificateur sans prédication “ ∀(λφ.(φ x m→ φ y))”?

https://www.generacodice.com/fr/articolo/2475553/comment-comprendre-quantificateur-sans-predication-λφ-φ-x-m-φ-y
  lambda-calculus  -  isabelle  -  first-order-logic  -  modal-logic  -  higher-order-logic
cs.stackexchange cs.stackexchange

Le sens et la pertinence de la locution « aucune implémentation de terminaison » dans la théorie des types

https://www.generacodice.com/fr/articolo/2475441/le-sens-et-la-pertinence-de-la-locution-aucune-implementation-de-terminaison-dans-la-theorie-des-types
  functional-programming  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Conversion de calcul lambda

https://www.generacodice.com/fr/articolo/2474831/conversion-de-calcul-lambda
  python  -  lisp  -  functional-programming  -  haskell  -  lambda-calculus
cs.stackexchange cs.stackexchange

Essayé de tirer le Z combinator et plutôt dérivée d'une autre

https://www.generacodice.com/fr/articolo/2474408/essaye-de-tirer-le-z-combinator-et-plutot-derivee-d-une-autre
  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Lambda Calculus sans variables libres est aussi fort que la Calmbda Calculus?

https://www.generacodice.com/fr/articolo/2467257/lambda-calculus-sans-variables-libres-est-aussi-fort-que-la-calmbda-calculus
  lambda-calculus  -  proof-techniques  -  turing-completeness
cs.stackexchange cs.stackexchange

réduction du calcul lambda :(((lambda f (lambda x (f x))) (lambda y (* y y))) 12)

https://www.generacodice.com/fr/articolo/2455935/reduction-du-calcul-lambda-lambda-f-lambda-x-f-x-lambda-y-y-y-12
  lambda-calculus
cs.stackexchange cs.stackexchange

Réduction d'expression Lambda

https://www.generacodice.com/fr/articolo/2455712/reduction-d-expression-lambda
  functional-programming  -  lambda-calculus  -  encoding-scheme
cs.stackexchange cs.stackexchange

Terminaison de la combinaison de Z avec une valeur appelée

https://www.generacodice.com/fr/articolo/2453760/terminaison-de-la-combinaison-de-z-avec-une-valeur-appelee
  fixed-point  -  lambda-calculus  -  evaluation-strategies
cs.stackexchange cs.stackexchange
Résultats trouvés: 627
scroll top