Tag lambda-calculus - Questa è pagina 59 - GeneraCodice

Do ordine superiore funzioni forniscono più potere di programmazione funzionale?

https://www.generacodice.com/it/articolo/1096752/do-ordine-superiore-funzioni-forniscono-piu-potere-di-programmazione-funzionale
  complexity-theory  -  functional-programming  -  lambda-calculus  -  turing-completeness
cs.stackexchange cs.stackexchange

C'è un calcolo SKI digitato?

https://www.generacodice.com/it/articolo/1095983/c-e-un-calcolo-ski-digitato
  logic  -  type-theory  -  lambda-calculus  -  combinatory-logic  -  reference-request
cs.stackexchange cs.stackexchange

Perché Lambda-Abstractions sono gli unici termini che sono valori nel calcolo Lambda non titole?

https://www.generacodice.com/it/articolo/1095711/perche-lambda-abstractions-sono-gli-unici-termini-che-sono-valori-nel-calcolo-lambda-non-titole
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Una valutazione lambda calcolo che coinvolgono numeri Chiesa

https://www.generacodice.com/it/articolo/1094922/una-valutazione-lambda-calcolo-che-coinvolgono-numeri-chiesa
  lambda-calculus  -  church-numerals
cs.stackexchange cs.stackexchange

Lambda Calcolo valutazione

https://www.generacodice.com/it/articolo/1093322/lambda-calcolo-valutazione
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Quantum lambda calcolo

https://www.generacodice.com/it/articolo/1093215/quantum-lambda-calcolo
  lambda-calculus  -  quantum-computing  -  computation-models  -  reference-request
cs.stackexchange cs.stackexchange

C'è una differenza tra $ \ lambda xy.xy $ e $ \ lambda x. \ Lambda y.xy $?

https://www.generacodice.com/it/articolo/1092441/c-e-una-differenza-tra-lambda-xy-xy-e-lambda-x-lambda-y-xy
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Qual è la beta di equivalenza?

https://www.generacodice.com/it/articolo/1092398/qual-e-la-beta-di-equivalenza
  logic  -  terminology  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Caratterizzazione di lambda-termini che sono tipi unione

https://www.generacodice.com/it/articolo/1091091/caratterizzazione-di-lambda-termini-che-sono-tipi-unione
  logic  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

SCI trasformare, come programmare in un linguaggio funzionale

https://www.generacodice.com/it/articolo/1088002/sci-trasformare-come-programmare-in-un-linguaggio-funzionale
  functional-programming  -  lambda-calculus  -  prolog
StackOverflow StackOverflow
Risultati trovati: 627
scroll top