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

纯lambda微积分中的测序或延续传递

https://www.generacodice.com/cn/articolo/2478643/纯lambda微积分中的测序或延续传递
  lambda-calculus
cs.stackexchange cs.stackexchange

列表是否可以以特殊的方式定义，以便它们包含不同类型的东西？

https://www.generacodice.com/cn/articolo/2475569/列表是否可以以特殊的方式定义-以便它们包含不同类型的东西
  functional-programming  -  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

如何理解没有谓词的量词“ ∀(λφ.(φ x m→ φ y))”？

https://www.generacodice.com/cn/articolo/2475553/如何理解没有谓词的量词-λφ-φ-x-m-φ-y
  lambda-calculus  -  isabelle  -  first-order-logic  -  modal-logic  -  higher-order-logic
cs.stackexchange cs.stackexchange

类型理论中"无终止实现"定位的含义和相关性

https://www.generacodice.com/cn/articolo/2475441/类型理论中-无终止实现-定位的含义和相关性
  functional-programming  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Lambda 演算转换

https://www.generacodice.com/cn/articolo/2474831/lambda-演算转换
  python  -  lisp  -  functional-programming  -  haskell  -  lambda-calculus
cs.stackexchange cs.stackexchange

尝试导出 Z 组合器，而是导出另一个

https://www.generacodice.com/cn/articolo/2474408/尝试导出-z-组合器-而是导出另一个
  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

没有自由变量的λ微积极与lambda chalulus一样强大？

https://www.generacodice.com/cn/articolo/2467257/没有自由变量的λ微积极与lambda-chalulus一样强大
  lambda-calculus  -  proof-techniques  -  turing-completeness
cs.stackexchange cs.stackexchange

Lambda Chanchulus减少：（（（Lambda F（lambda x（f x）））（lambda y（* y y）））12）

https://www.generacodice.com/cn/articolo/2455935/lambda-chanchulus减少-lambda-f-lambda-x-f-x-lambda-y-y-y-12
  lambda-calculus
cs.stackexchange cs.stackexchange

Lambda表达减少

https://www.generacodice.com/cn/articolo/2455712/lambda表达减少
  functional-programming  -  lambda-calculus  -  encoding-scheme
cs.stackexchange cs.stackexchange

Z组合器与按呼叫终止

https://www.generacodice.com/cn/articolo/2453760/z组合器与按呼叫终止
  fixed-point  -  lambda-calculus  -  evaluation-strategies
cs.stackexchange cs.stackexchange
发现结果: 627
scroll top