OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: lambda



Results in the term's title:

·  fully lazy lambda lifting
·  Knights of the Lambda-Calculus
·  LAMBDA
·  lambda abstraction
·  lambda-calculus
·  lambda expression
·  lambda lifting
·  LambdaMOO
·  Lambda Prolog
·  polymorphic lambda-calculus
·  PPLambda
·  pure lambda-calculus
·  Qlambda
·  Second-Order Lambda-calculus
·  SweetLambda
·  typed lambda-calculus


Results in the term's text:

·  6.001
·  abstraction
·  Alonzo Church
·  alpha conversion
·  beta abstraction
·  beta conversion
·  beta reduction
·  bound variable
·  Burge' s Language
·  call-by-need
·  canonical
·  Church integer
·  closure conversion
·  combinator
·  Computational Adequacy Theorem
·  constant applicative form
·  CUCH
·  curried function
·  De Bruijn notation
·  delta reduction
·  domain theory
·  esim
·  eta conversion
·  FALSE
·  fix
·  free variable
·  full laziness
·  fully lazy lambda lifting
·  Fun
·  functional programming
·  Gofer
·  Head Normal Form
·  head normalisation theorem
·  Interlisp
·  ISWIM
·  Joy
·  Kid
·  Lambada-Calculus
·  LAMBDA
·  lambda abstraction
·  lambda-calculus
·  lambda expression
·  LambdaMOO
·  Lambda Prolog
·  lenient evaluation
·  Lisp
·  Lolli
·  maximal free expression
·  Miranda
·  MUD Object Oriented
·  name capture
·  polymorphic lambda-calculus
·  Ponder
·  PPLambda
·  principal type
·  PRL
·  Prolog/Mali
·  pure lambda-calculus
·  quine
·  Qu-Prolog
·  reduction
·  Richard Gabriel
·  Russell' s Paradox
·  Second-Order Lambda-calculus
·  SLIM
·  SLIPS
·  SOL
·  space-cadet keyboard
·  Stack Environment Control Dump machine
·  SweetLambda
·  System F
·  TALE
·  talk
·  typed lambda-calculus
·  Vlisp
·  Weak Head Normal Form


  


[ 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.0484 Seconds, with 15 Database-Queries
Zurück zur Startseite