OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: Lambda-calculus



Results in the term's title:

·  Knights of the Lambda-Calculus
·  lambda-calculus
·  polymorphic lambda-calculus
·  pure lambda-calculus
·  Second-Order Lambda-calculus
·  typed lambda-calculus


Results in the term's text:

·  6.001
·  Alonzo Church
·  alpha conversion
·  beta abstraction
·  beta conversion
·  beta reduction
·  Burge' s Language
·  canonical
·  Church integer
·  combinator
·  Computational Adequacy Theorem
·  CUCH
·  delta reduction
·  domain theory
·  eta conversion
·  free variable
·  Fun
·  functional programming
·  head normalisation theorem
·  ISWIM
·  Kid
·  Lambada-Calculus
·  LAMBDA
·  lambda abstraction
·  lambda-calculus
·  lambda expression
·  Lisp
·  polymorphic lambda-calculus
·  Ponder
·  PPLambda
·  pure lambda-calculus
·  Russell' s Paradox
·  Second-Order Lambda-calculus
·  SLIPS
·  SOL
·  Stack Environment Control Dump machine
·  SweetLambda
·  System F
·  TALE
·  typed lambda-calculus


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0531 Seconds, with 17 Database-Queries
Zurück zur Startseite