Found 1 hit - Term: second-order lambda-calculus, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
second-order lambda-calculus
sol a typed lambda-calculus.
"abstract types have existential type", j. mitchell et al,
12th popl, acm 1985, pp. 37-51.
1995-07-29
see also:
typed lambda-calculus
Dictionary of Words and Phrases online did not found adittional definition or meaning about second-order lambda-calculus. Last accessed:2008/09/06 01:53:12 [Total processing time: 0 seconds] |