Tag lambda-calculus - Questa è pagina 57 - GeneraCodice

Sostituzione con ricorsione strutturale

https://www.generacodice.com/it/articolo/1118576/sostituzione-con-ricorsione-strutturale
  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

funzioni lambda anonimi (programmazione funzionale)

https://www.generacodice.com/it/articolo/1118226/funzioni-lambda-anonimi-programmazione-funzionale
  functional-programming  -  logic  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Chiaro, derivazione intuitiva del punto fisso combinatore (Y combinatore)?

https://www.generacodice.com/it/articolo/1118110/chiaro-derivazione-intuitiva-del-punto-fisso-combinatore-y-combinatore
  logic  -  programming-languages  -  computability  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Qualcuno può dare un semplice ma non giocattolo esempio di una grammatica sensibile al contesto?

https://www.generacodice.com/it/articolo/1111985/qualcuno-puo-dare-un-semplice-ma-non-giocattolo-esempio-di-una-grammatica-sensibile-al-contesto
  programming-languages  -  lambda-calculus  -  formal-grammars  -  context-sensitive
cs.stackexchange cs.stackexchange

“Ordine applicativo” e “Ordine normale” in lambda-calcolo

https://www.generacodice.com/it/articolo/1111949/ordine-applicativo-e-ordine-normale-in-lambda-calcolo
  logic  -  lambda-calculus  -  normal-forms
cs.stackexchange cs.stackexchange

Studiare Programmazione Teoria Lingua

https://www.generacodice.com/it/articolo/1111077/studiare-programmazione-teoria-lingua
  functional-programming  -  lambda-calculus  -  books  -  reference-request
cs.stackexchange cs.stackexchange

Mostrando i = funzione? è impossibile

https://www.generacodice.com/it/articolo/1110090/mostrando-i-funzione-e-impossibile
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Lambda calcolo programmazione funzionale al di fuori?

https://www.generacodice.com/it/articolo/1109863/lambda-calcolo-programmazione-funzionale-al-di-fuori
  functional-programming  -  lambda-calculus
cs.stackexchange cs.stackexchange

variabili libere di (?x.xy) x e variabili vincolate di ?xy.x

https://www.generacodice.com/it/articolo/1098669/variabili-libere-di-x-xy-x-e-variabili-vincolate-di-xy-x
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Fa esiste un Turing completa lambda calcolo tipizzato?

https://www.generacodice.com/it/articolo/1097436/fa-esiste-un-turing-completa-lambda-calcolo-tipizzato
  computability  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange
Risultati trovati: 627
scroll top