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

lambda expression of main function's return value

https://www.generacodice.com/pt/articolo/1210493/lambda-expression-of-main-function-s-return-value
  lambda  -  return-value  -  lambda-calculus
StackOverflow StackOverflow

Lambda Calculus operators precedence

https://www.generacodice.com/pt/articolo/1165991/lambda-calculus-operators-precedence
  lambda  -  operator-precedence  -  lambda-calculus
StackOverflow StackOverflow

Is this $\beta$-reduction well defined?

https://www.generacodice.com/pt/articolo/1128286/is-this-beta-reduction-well-defined
  programming-languages  -  lambda-calculus  -  term-rewriting  -  variable-binding
cs.stackexchange cs.stackexchange

How do you say when a language is Turing-complete only in a trivial way?

https://www.generacodice.com/pt/articolo/1128164/how-do-you-say-when-a-language-is-turing-complete-only-in-a-trivial-way
  lambda-calculus  -  turing-completeness
cs.stackexchange cs.stackexchange

What's wrong with my beta reduction of pred c_0 on Church numerals?

https://www.generacodice.com/pt/articolo/1127003/what-s-wrong-with-my-beta-reduction-of-pred-c-0-on-church-numerals
  lambda-calculus  -  church-numerals
cs.stackexchange cs.stackexchange

What is the name of this combinator?

https://www.generacodice.com/pt/articolo/1126669/what-is-the-name-of-this-combinator
  functional-programming  -  logic  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

lambda calculus as a type theory

https://www.generacodice.com/pt/articolo/1126344/lambda-calculus-as-a-type-theory
  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Is lambda calculus suitable for expressing semantics of non-functional languages?

https://www.generacodice.com/pt/articolo/1125108/is-lambda-calculus-suitable-for-expressing-semantics-of-non-functional-languages
  semantics  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

How to decide the scope of the following lambda expression?

https://www.generacodice.com/pt/articolo/1124349/how-to-decide-the-scope-of-the-following-lambda-expression
  lambda-calculus
cs.stackexchange cs.stackexchange

What is a preterm parser?

https://www.generacodice.com/pt/articolo/1123789/what-is-a-preterm-parser
  lambda-calculus  -  parsers  -  type-checking
cs.stackexchange cs.stackexchange
Resultados encontrados: 627
scroll top