Tag combinatory-logic - Esta é a página 5 - GeneraCodice

Iota combinator and implicational propositional calculus

https://www.generacodice.com/pt/articolo/1563133/iota-combinator-and-implicational-propositional-calculus
  lambda-calculus  -  combinatory-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

“Archiving” byte sequence into human-readable set of chars

https://www.generacodice.com/pt/articolo/1559009/archiving-byte-sequence-into-human-readable-set-of-chars
  complexity-theory  -  combinatorics  -  combinatory-logic
cs.stackexchange cs.stackexchange

Are combinatory logic terms always larger?

https://www.generacodice.com/pt/articolo/1547615/are-combinatory-logic-terms-always-larger
  functional-programming  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Are fixed-point combinators general recursive?

https://www.generacodice.com/pt/articolo/1528556/are-fixed-point-combinators-general-recursive
  programming-languages  -  combinatory-logic  -  turing-completeness
cs.stackexchange cs.stackexchange

Smallest non-halting unlambda program

https://www.generacodice.com/pt/articolo/1516266/smallest-non-halting-unlambda-program
  lambda-calculus  -  halting-problem  -  combinatory-logic
cs.stackexchange cs.stackexchange

Combinatory interpretation of lambda calculus

https://www.generacodice.com/pt/articolo/1515817/combinatory-interpretation-of-lambda-calculus
  terminology  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Simply Typed Combinatory Logic?

https://www.generacodice.com/pt/articolo/1490230/simply-typed-combinatory-logic
  functional-programming  -  logic  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Expressando Y em termos de SKI-Combinators em JavaScript

https://www.generacodice.com/pt/articolo/1360939/expressando-y-em-termos-de-ski-combinators-em-javascript
  JavaScript  -  combinators  -  y-combinator  -  combinatory-logic
StackOverflow StackOverflow

What is the name of this combinator?

https://www.generacodice.com/pt/articolo/1126669/what-is-the-name-of-this-combinator
  functional-programming  -  logic  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

https://www.generacodice.com/pt/articolo/1118110/clear-intuitive-derivation-of-the-fixed-point-combinator-y-combinator
  logic  -  programming-languages  -  computability  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange
Resultados encontrados: 55
scroll top