Second-Order lambda-calculus

Computing Dictionary

Second-Order Lambda-calculus definition

(SOL) A typed lambda-calculus.
["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: second-officer
Next Definition: second-papers
More from
Synonyms and Antonyms for second-order lambda-calculus
More from
Search for articles containing second-order lambda-calculus Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature