标签lambda-calculus - 这是页6 - GeneraCodice

Find a normal form using beta reduction

https://www.generacodice.com/cn/articolo/6559204/find-a-normal-form-using-beta-reduction

  lambda  -  lambda-calculus

StackOverflow

Functional programming and the closure term birth

https://www.generacodice.com/cn/articolo/6461872/functional-programming-and-the-closure-term-birth

  functional-programming  -  closures  -  lambda-calculus

StackOverflow

uncurry and curry functions [closed]

https://www.generacodice.com/cn/articolo/6416257/uncurry-and-curry-functions-closed

  currying  -  lambda-calculus

StackOverflow

Implementing call-by-value lambda-calculus in Haskell

https://www.generacodice.com/cn/articolo/6073370/implementing-call-by-value-lambda-calculus-in-haskell

  interpreter  -  haskell  -  lambda-calculus

StackOverflow

How to evaluate an expression using β reduction in lambda calculus?

https://www.generacodice.com/cn/articolo/5999951/how-to-evaluate-an-expression-using-β-reduction-in-lambda-calculus

  lambda  -  programming-languages  -  lambda-calculus  -  formal-languages  -  reduction

StackOverflow

What are the correct semantics of a closure over a loop variable? [closed]

https://www.generacodice.com/cn/articolo/5960420/what-are-the-correct-semantics-of-a-closure-over-a-loop-variable-closed

  c#  -  JavaScript  -  lua  -  closures  -  lambda-calculus

StackOverflow

What does the use of multiple lambdas in scheme mean?

https://www.generacodice.com/cn/articolo/5796874/what-does-the-use-of-multiple-lambdas-in-scheme-mean

  lambda  -  functional-programming  -  scheme  -  currying  -  lambda-calculus

StackOverflow

Defining a stack data structure and its main operations in lambda calculus

https://www.generacodice.com/cn/articolo/5714874/defining-a-stack-data-structure-and-its-main-operations-in-lambda-calculus

  lambda  -  functional-programming  -  combinators  -  y-combinator  -  lambda-calculus

StackOverflow

Free variables list of a lambda expression

https://www.generacodice.com/cn/articolo/5547353/free-variables-list-of-a-lambda-expression

  ocaml  -  lambda-calculus  -  free-variable

StackOverflow

How do you convert to lambda syntax?

https://www.generacodice.com/cn/articolo/5370782/how-do-you-convert-to-lambda-syntax

  lambda-calculus

StackOverflow

• «
• 3
• 4
• 5
• 6
• 7
• 8
• »

发现结果: 627