Tag lambda-calculus - This is page 3 - GeneraCodice

How does C# evaluate lambda expressions? [closed]

https://www.generacodice.com/en/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/en/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/en/articolo/10596633/antlr4-grammar-for-function-application

  antlr  -  lambda-calculus  -  antlr4

StackOverflow

Knights of the Lambda Calculus infinity written as lisp code

https://www.generacodice.com/en/articolo/10453386/knights-of-the-lambda-calculus-infinity-written-as-lisp-code

  lambda  -  lisp  -  y-combinator  -  lambda-calculus  -  infinity

StackOverflow

Definition of substitution in Lambda expression

https://www.generacodice.com/en/articolo/10349175/definition-of-substitution-in-lambda-expression

  theory  -  types  -  lambda  -  lambda-calculus

StackOverflow

Haskell - Lambda calculus equivalent syntax?

https://www.generacodice.com/en/articolo/10219182/haskell-lambda-calculus-equivalent-syntax

  lambda  -  syntax  -  haskell  -  lambda-calculus

StackOverflow

Can this be expressed in point free style?

https://www.generacodice.com/en/articolo/10141086/can-this-be-expressed-in-point-free-style

  f#  -  lambda-calculus  -  pointfree

StackOverflow

Encoding the dynamicaly-typed lambda calculus in Haskell using recursive types

https://www.generacodice.com/en/articolo/9970971/encoding-the-dynamicaly-typed-lambda-calculus-in-haskell-using-recursive-types

  types  -  functional-programming  -  haskell  -  lambda-calculus

StackOverflow

Reduction in Lambda Calculus

https://www.generacodice.com/en/articolo/9572724/reduction-in-lambda-calculus

  lambda  -  functional-programming  -  lambda-calculus

StackOverflow

encoding binary numerals in lambda calculus

https://www.generacodice.com/en/articolo/9495930/encoding-binary-numerals-in-lambda-calculus

  binary  -  haskell  -  lambda-calculus  -  church-encoding

StackOverflow

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

Results found: 627