Tag lambda-calculus - This is page 57 - GeneraCodice

Substitution by structural recursion

https://www.generacodice.com/en/articolo/1118576/substitution-by-structural-recursion
  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

anonymous lambda functions (functional programming)

https://www.generacodice.com/en/articolo/1118226/anonymous-lambda-functions-functional-programming
  functional-programming  -  logic  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

https://www.generacodice.com/en/articolo/1118110/clear-intuitive-derivation-of-the-fixed-point-combinator-y-combinator
  logic  -  programming-languages  -  computability  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Can someone give a simple but non-toy example of a context-sensitive grammar?

https://www.generacodice.com/en/articolo/1111985/can-someone-give-a-simple-but-non-toy-example-of-a-context-sensitive-grammar
  programming-languages  -  lambda-calculus  -  formal-grammars  -  context-sensitive
cs.stackexchange cs.stackexchange

“Applicative order” and “Normal order” in lambda-calculus

https://www.generacodice.com/en/articolo/1111949/applicative-order-and-normal-order-in-lambda-calculus
  logic  -  lambda-calculus  -  normal-forms
cs.stackexchange cs.stackexchange

Studying Programming Language Theory

https://www.generacodice.com/en/articolo/1111077/studying-programming-language-theory
  functional-programming  -  lambda-calculus  -  books  -  reference-request
cs.stackexchange cs.stackexchange

Showing the function=? is impossible

https://www.generacodice.com/en/articolo/1110090/showing-the-function-is-impossible
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Lambda calculus outside functional programming?

https://www.generacodice.com/en/articolo/1109863/lambda-calculus-outside-functional-programming
  functional-programming  -  lambda-calculus
cs.stackexchange cs.stackexchange

Free variables of (λx.xy)x and bound variables of λxy.x

https://www.generacodice.com/en/articolo/1098669/free-variables-of-λx-xy-x-and-bound-variables-of-λxy-x
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Does there exist a Turing complete typed lambda calculus?

https://www.generacodice.com/en/articolo/1097436/does-there-exist-a-turing-complete-typed-lambda-calculus
  computability  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange
Results found: 627
scroll top