dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


1 definition found
 for beta abstraction
From The Free On-line Dictionary of Computing (30 December 2018) :

  beta abstraction
  
     [{lambda-calculus] The conversion of an expression to an
     application of a lambda abstraction to an argument
     expression.  Some subterm of the original expression becomes
     the argument of the abstraction and the rest becomes its
     body. E.g.
  
     	4+1 --> (\ x . x+1) 4
  
     The opposite of beta abstraction is beta reduction.  These
     are the two kinds of beta conversion.
  

Contact=webmaster@dict.org Specification=RFC 2229