Tag lambda-calculus - Dies ist Seite 57 - GeneraCodice

Substitution durch strukturelle Rekursion

https://www.generacodice.com/de/articolo/1118576/substitution-durch-strukturelle-rekursion
  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

Anonyme Lambda -Funktionen (funktionale Programmierung)

https://www.generacodice.com/de/articolo/1118226/anonyme-lambda-funktionen-funktionale-programmierung
  functional-programming  -  logic  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Klare, intuitive Ableitung des Festkomma-Kombinators (Y-Kombinator)?

https://www.generacodice.com/de/articolo/1118110/klare-intuitive-ableitung-des-festkomma-kombinators-y-kombinator
  logic  -  programming-languages  -  computability  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Kann jemand ein einfaches, aber nicht-toy-Beispiel für eine kontextsensitive Grammatik geben?

https://www.generacodice.com/de/articolo/1111985/kann-jemand-ein-einfaches-aber-nicht-toy-beispiel-fuer-eine-kontextsensitive-grammatik-geben
  programming-languages  -  lambda-calculus  -  formal-grammars  -  context-sensitive
cs.stackexchange cs.stackexchange

"Anwendungsreihenfolge" und "normale Ordnung" in Lambda-Kalkulus

https://www.generacodice.com/de/articolo/1111949/anwendungsreihenfolge-und-normale-ordnung-in-lambda-kalkulus
  logic  -  lambda-calculus  -  normal-forms
cs.stackexchange cs.stackexchange

Programmiersprache Theorie studieren

https://www.generacodice.com/de/articolo/1111077/programmiersprache-theorie-studieren
  functional-programming  -  lambda-calculus  -  books  -  reference-request
cs.stackexchange cs.stackexchange

Die Funktion zeigen =? ist unmöglich

https://www.generacodice.com/de/articolo/1110090/die-funktion-zeigen-ist-unmoeglich
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Lambda -Kalkül außerhalb funktioneller Programmierung?

https://www.generacodice.com/de/articolo/1109863/lambda-kalkuel-ausserhalb-funktioneller-programmierung
  functional-programming  -  lambda-calculus
cs.stackexchange cs.stackexchange

Freie Variablen von (λx.xy) x und gebundene Variablen von λxy.x

https://www.generacodice.com/de/articolo/1098669/freie-variablen-von-λx-xy-x-und-gebundene-variablen-von-λxy-x
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Gibt es eine turende, typisierte Lambda -Berechnung?

https://www.generacodice.com/de/articolo/1097436/gibt-es-eine-turende-typisierte-lambda-berechnung
  computability  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange
Gefundene Ergebnisse: 627
scroll top