Found 1 hit - Term: pure lambda-calculus, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
pure lambda-calculus
lambda-calculus with no constants, only functions expressed
as lambda abstractions.
1994-10-27
see also:
lambda-calculus lambda abstraction
Results 1 - 3 of 3 found about pure lambda-calculus: Pure
>> P Words
Pure, definition of term: Pure
pure_pag1.html Pure Mathematic
>> P Words
Pure Mathematic, definition of term: Pure Mathematic
pure+mathematic_pag1.html Make Pure
>> M Words
Make Pure, definition of term: Make Pure
make+pure_pag1.html
Last accessed:2008/10/06 18:14:44 [Total processing time: 1 seconds] |