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

研究编程语言理论

https://www.generacodice.com/cn/articolo/1111077/研究编程语言理论
  functional-programming  -  lambda-calculus  -  books  -  reference-request
cs.stackexchange cs.stackexchange

显示功能=？是不可能的

https://www.generacodice.com/cn/articolo/1110090/显示功能-是不可能的
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

lambda conculus在功能编程外部？

https://www.generacodice.com/cn/articolo/1109863/lambda-conculus在功能编程外部
  functional-programming  -  lambda-calculus
cs.stackexchange cs.stackexchange

（λx.xy）x的自由变量和λxy.x的结合变量

https://www.generacodice.com/cn/articolo/1098669/λx-xy-x的自由变量和λxy-x的结合变量
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

是否存在图灵完整的打字lambda微积分？

https://www.generacodice.com/cn/articolo/1097436/是否存在图灵完整的打字lambda微积分
  computability  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

使用lambda演算代表负和复数

https://www.generacodice.com/cn/articolo/1096798/使用lambda演算代表负和复数
  data-structures  -  lambda-calculus  -  real-numbers  -  integers
cs.stackexchange cs.stackexchange

高阶功能是否为功能编程提供了更大的功能？

https://www.generacodice.com/cn/articolo/1096752/高阶功能是否为功能编程提供了更大的功能
  complexity-theory  -  functional-programming  -  lambda-calculus  -  turing-completeness
cs.stackexchange cs.stackexchange

有没有打字的滑雪声？

https://www.generacodice.com/cn/articolo/1095983/有没有打字的滑雪声
  logic  -  type-theory  -  lambda-calculus  -  combinatory-logic  -  reference-request
cs.stackexchange cs.stackexchange

为什么lambda-abcractions是未型lambda微积分中唯一的术语？

https://www.generacodice.com/cn/articolo/1095711/为什么lambda-abcractions是未型lambda微积分中唯一的术语
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

涉及教会数字的Lambda微积分评估

https://www.generacodice.com/cn/articolo/1094922/涉及教会数字的lambda微积分评估
  lambda-calculus  -  church-numerals
cs.stackexchange cs.stackexchange
发现结果: 627
scroll top