Tag lambda-calculus - Esta é a página 14 - GeneraCodice

O seqüenciamento ou continuação de passagem em puro lambda-cálculo

https://www.generacodice.com/pt/articolo/2478643/o-sequenciamento-ou-continuacao-de-passagem-em-puro-lambda-calculo
  lambda-calculus
cs.stackexchange cs.stackexchange

Podem listas de ser definido de uma forma especial, de modo que eles contêm coisas de tipo diferente?

https://www.generacodice.com/pt/articolo/2475569/podem-listas-de-ser-definido-de-uma-forma-especial-de-modo-que-eles-contem-coisas-de-tipo-diferente
  functional-programming  -  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

Como entender o quantificador sem previsão " ∀(λφ.(φ x m→ φ y))"?

https://www.generacodice.com/pt/articolo/2475553/como-entender-o-quantificador-sem-previsao-λφ-φ-x-m-φ-y
  lambda-calculus  -  isabelle  -  first-order-logic  -  modal-logic  -  higher-order-logic
cs.stackexchange cs.stackexchange

O significado e a relevância da locução "de terminação de implementação" no tipo de teoria

https://www.generacodice.com/pt/articolo/2475441/o-significado-e-a-relevancia-da-locucao-de-terminacao-de-implementacao-no-tipo-de-teoria
  functional-programming  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Cálculo Lambda De Conversão

https://www.generacodice.com/pt/articolo/2474831/calculo-lambda-de-conversao
  python  -  lisp  -  functional-programming  -  haskell  -  lambda-calculus
cs.stackexchange cs.stackexchange

Tentou derivar a Z combinator e, em vez de derivada de outra

https://www.generacodice.com/pt/articolo/2474408/tentou-derivar-a-z-combinator-e-em-vez-de-derivada-de-outra
  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Cálculo Lambda sem variáveis livres é tão forte como o cálculo lambda?

https://www.generacodice.com/pt/articolo/2467257/calculo-lambda-sem-variaveis-livres-e-tao-forte-como-o-calculo-lambda
  lambda-calculus  -  proof-techniques  -  turing-completeness
cs.stackexchange cs.stackexchange

redução do cálculo lambda:(((lambda f (lambda x (f x))) (lambda y (* y y))) 12)

https://www.generacodice.com/pt/articolo/2455935/reducao-do-calculo-lambda-lambda-f-lambda-x-f-x-lambda-y-y-y-12
  lambda-calculus
cs.stackexchange cs.stackexchange

Redução de expressão lambda.

https://www.generacodice.com/pt/articolo/2455712/reducao-de-expressao-lambda
  functional-programming  -  lambda-calculus  -  encoding-scheme
cs.stackexchange cs.stackexchange

Terminação do Combinador Z com Call-by-Valor

https://www.generacodice.com/pt/articolo/2453760/terminacao-do-combinador-z-com-call-by-valor
  fixed-point  -  lambda-calculus  -  evaluation-strategies
cs.stackexchange cs.stackexchange
Resultados encontrados: 627
scroll top