VDict mobile
Dictionary - Translation



theory A term from lambda-calculus for beta reduction or
beta abstraction.
(1999-01-15)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version