second-order lambda-calculus

1 definition found

second-order lambda-calculus - Free On-line Dictionary of Computing (26 May 2007) :

  Second-Order Lambda-calculus
  
     <language> (SOL) A typed lambda-calculus.
  
     ["Abstract Types have Existential Type", J. Mitchell et al,
     12th POPL, ACM 1985, pp. 37-51].
  
     (1995-07-29)