VDict - Definition of lambda abstraction

search result for lambda abstraction in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

alpha conversion lambda abstraction beta reduction Weak Head Normal Form beta abstraction lambda expression Head Normal Form pure lambda-calculus constant applicative form lambda-calculus name capture abstraction FALSE fully lazy lambda lifting beta conversion De Bruijn notation lenient evaluation polymorphic lambda-calculus Lambda Prolog bracket abstraction typed lambda-calculus bound variable maximal free expression abstract data type quine eta conversion LAMBDA Second-Order Lambda-calculus Captain Abstraction principal type LambdaMOO System F reduction fix 6.001 data abstraction Alphard Fortran Matrix Abstraction Technique Fortran Church integer Lolli Windows Open Service Architecture free variable curried function delta reduction space-cadet keyboard Fun SweetLambda restructuring esim SLIPS black box set abstraction Burge's Language closure conversion redocumentation Hardware Abstraction Layer SCRIPT Kid Concurrent CLU eta abstraction CLP*Intermediate Programming Language MODEF CUCH Alonzo Church FORMAT-Fortran Knights of the Lambda-Calculus Vlisp SLIM Lambada-Calculus head normalisation theorem TALE SOL PRL PPLambda hole Algebra of Communicating Processes Extended Concurrent Prolog LARCH/CLU HAL

First < Previous 1 2 Next > Last