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

Is it possible to implement foldl/foldr using unsided fold?

https://www.generacodice.com/pt/articolo/11601365/is-it-possible-to-implement-foldl-foldr-using-unsided-fold

  functional-programming  -  haskell  -  mapreduce  -  lambda-calculus  -  racket

StackOverflow

for fixed point combinator Y, what is \x.f(xx)

https://www.generacodice.com/pt/articolo/11505122/for-fixed-point-combinator-y-what-is-x-f-xx

  theory  -  computer-science  -  functional-programming  -  combinators  -  lambda-calculus

StackOverflow

Looking for a Church-encoding (lambda calculus) to define < , > , !=

https://www.generacodice.com/pt/articolo/11212441/looking-for-a-church-encoding-lambda-calculus-to-define

  lisp  -  functional-programming  -  scheme  -  lambda-calculus  -  church-encoding

StackOverflow

Find the lambda-terme without free variables of the following types?

https://www.generacodice.com/pt/articolo/11177497/find-the-lambda-terme-without-free-variables-of-the-following-types

  lambda  -  functional-programming  -  lambda-calculus

StackOverflow

Haskell, lambda calculus for Evaluation

https://www.generacodice.com/pt/articolo/11170231/haskell-lambda-calculus-for-evaluation

  types  -  lambda  -  haskell  -  lambda-calculus  -  evaluate

StackOverflow

Haskell for Lambda Calculus, Type Inferencing

https://www.generacodice.com/pt/articolo/11113621/haskell-for-lambda-calculus-type-inferencing

  types  -  lambda  -  functional-programming  -  haskell  -  lambda-calculus

StackOverflow

Lambda calculus reduction of expression

https://www.generacodice.com/pt/articolo/11052964/lambda-calculus-reduction-of-expression

  lambda  -  operator-precedence  -  lambda-calculus

StackOverflow

How does C# evaluate lambda expressions? [closed]

https://www.generacodice.com/pt/articolo/10895755/how-does-c-sharp-evaluate-lambda-expressions-closed

  c#  -  lambda  -  evaluation  -  lambda-calculus

StackOverflow

In lambda calculus, how would I write a function that returns true when its input is the identity function?

https://www.generacodice.com/pt/articolo/10598910/in-lambda-calculus-how-would-i-write-a-function-that-returns-true-when-its-input-is-the-identity-function

  lambda-calculus

StackOverflow

Antlr4 Grammar for Function Application

https://www.generacodice.com/pt/articolo/10596633/antlr4-grammar-for-function-application

  antlr  -  lambda-calculus  -  antlr4

StackOverflow

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

Resultados encontrados: 627