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

Is the Church numeral encoding of natural numbers unnecessarily complicated?

https://www.generacodice.com/pt/articolo/3515602/is-the-church-numeral-encoding-of-natural-numbers-unnecessarily-complicated

language-agnostic - lambda-calculus - sicp - church-encoding

What is a “free variable”?

https://www.generacodice.com/pt/articolo/3501964/what-is-a-free-variable

functional-programming - haskell - lambda-calculus

What is a “free variable”?

https://www.generacodice.com/pt/articolo/3501840/what-is-a-free-variable

functional-programming - haskell - lambda-calculus

What is a “free variable”?

https://www.generacodice.com/pt/articolo/3501624/what-is-a-free-variable

functional-programming - haskell - lambda-calculus

what's this equation with lambda notation “ m >> n = m >>= \_ -> n ” in monad's declaration?

https://www.generacodice.com/pt/articolo/3309719/what-s-this-equation-with-lambda-notation-m-n-m-n-in-monad-s-declaration

lambda - haskell - monads - lambda-calculus

What does the lambda calculus have to say about return values?

https://www.generacodice.com/pt/articolo/3187200/what-does-the-lambda-calculus-have-to-say-about-return-values

return-value - r - lambda-calculus

Reusing a Lambda function in Haskell

https://www.generacodice.com/pt/articolo/3173947/reusing-a-lambda-function-in-haskell

haskell - lambda-calculus

Fixed point of K combinator

https://www.generacodice.com/pt/articolo/3102470/fixed-point-of-k-combinator

y-combinator - lambda-calculus - fixpoint-combinators - k-combinator

Functional Language for Untyped Lambda Calculus

https://www.generacodice.com/pt/articolo/3046075/functional-language-for-untyped-lambda-calculus

compiler-construction - functional-programming - interpreter - lambda-calculus - untyped-variables

S combinator in Erlang

https://www.generacodice.com/pt/articolo/3027535/s-combinator-in-erlang

lambda - erlang - lambda-calculus - s-combinator

«
8
9
10
11
12
13
»

Resultados encontrados: 627