Tag lambda-calculus - Это страница 1 - GeneraCodice

How to implement let* using lambda

https://www.generacodice.com/ru/articolo/13516798/how-to-implement-let-using-lambda
  lambda  -  scheme  -  lambda-calculus  -  let
StackOverflow StackOverflow

The difference between Lists as pairs and Lists as recursors in the Lambda Calculus

https://www.generacodice.com/ru/articolo/13421299/the-difference-between-lists-as-pairs-and-lists-as-recursors-in-the-lambda-calculus
  list  -  lambda-calculus
StackOverflow StackOverflow

Verify the type of a lambda expression

https://www.generacodice.com/ru/articolo/12771391/verify-the-type-of-a-lambda-expression
  haskell  -  lambda-calculus
StackOverflow StackOverflow

Pattern in point-free combinator, how related to SKI calculus

https://www.generacodice.com/ru/articolo/12724330/pattern-in-point-free-combinator-how-related-to-ski-calculus
  haskell  -  lambda-calculus  -  pointfree  -  combinatory-logic
StackOverflow StackOverflow

Is the following a legit successor function for lambda calculus ? (Church Numeral)

https://www.generacodice.com/ru/articolo/12555802/is-the-following-a-legit-successor-function-for-lambda-calculus-church-numeral
  lambda  -  lambda-calculus  -  church-encoding
StackOverflow StackOverflow

beta reduction: correct way to replace bound variables?

https://www.generacodice.com/ru/articolo/12369686/beta-reduction-correct-way-to-replace-bound-variables
  lambda-calculus
StackOverflow StackOverflow

How would you abstract away the boilerplate in this pair of "similar shaped" datatypes

https://www.generacodice.com/ru/articolo/11901653/how-would-you-abstract-away-the-boilerplate-in-this-pair-of-similar-shaped-datatypes
  types  -  haskell  -  gadt  -  lambda-calculus  -  metacircular
StackOverflow StackOverflow

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

https://www.generacodice.com/ru/articolo/11762978/how-do-you-formulate-n-ary-product-and-sum-types-in-this-typed-lambda-calculus-universe
  haskell  -  algebraic-data-types  -  gadt  -  lambda-calculus  -  data-kinds
StackOverflow StackOverflow

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

https://www.generacodice.com/ru/articolo/11601365/is-it-possible-to-implement-foldl-foldr-using-unsided-fold
  functional-programming  -  haskell  -  mapreduce  -  lambda-calculus  -  racket
StackOverflow StackOverflow

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

https://www.generacodice.com/ru/articolo/11505122/for-fixed-point-combinator-y-what-is-x-f-xx
  theory  -  computer-science  -  functional-programming  -  combinators  -  lambda-calculus
StackOverflow StackOverflow
Результаты найдены: 627
scroll top