标签lambda-calculus - 这是页1 - GeneraCodice

How to implement let* using lambda

https://www.generacodice.com/cn/articolo/13516798/how-to-implement-let-using-lambda

  lambda  -  scheme  -  lambda-calculus  -  let

StackOverflow

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

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

  list  -  lambda-calculus

StackOverflow

Verify the type of a lambda expression

https://www.generacodice.com/cn/articolo/12771391/verify-the-type-of-a-lambda-expression

  haskell  -  lambda-calculus

StackOverflow

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

https://www.generacodice.com/cn/articolo/12724330/pattern-in-point-free-combinator-how-related-to-ski-calculus

  haskell  -  lambda-calculus  -  pointfree  -  combinatory-logic

StackOverflow

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

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

  lambda  -  lambda-calculus  -  church-encoding

StackOverflow

beta reduction: correct way to replace bound variables?

https://www.generacodice.com/cn/articolo/12369686/beta-reduction-correct-way-to-replace-bound-variables

  lambda-calculus

StackOverflow

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

https://www.generacodice.com/cn/articolo/11901653/how-would-you-abstract-away-the-boilerplate-in-this-pair-of-similar-shaped-datatypes

  types  -  haskell  -  gadt  -  lambda-calculus  -  metacircular

StackOverflow

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

https://www.generacodice.com/cn/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

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

https://www.generacodice.com/cn/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/cn/articolo/11505122/for-fixed-point-combinator-y-what-is-x-f-xx

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

StackOverflow

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

发现结果: 627