VDict - Definition of Second-Order Lambda-calculus

search result for Second-Order Lambda-calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression pure lambda-calculus typed lambda-calculus beta reduction Church integer lambda abstraction PPLambda Lambda Prolog De Bruijn notation alpha conversion Weak Head Normal Form LAMBDA System F Lambada-Calculus head normalisation theorem TALE SOL delta reduction relational calculus beta abstraction Computational Adequacy Theorem combinator Fun domain calculus SweetLambda SLIPS 6.001 Burge's Language Kid free variable tuple calculus Bird-Meertens Formalism beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus Lolli call-by-need Head Normal Form Joy constant applicative form ISWIM quine fully lazy lambda lifting eta conversion LambdaMOO CHOCS reduction functional programming Codd's reduction algorithm Stack Environment Control Dump machine Calculus of Communicating Systems nu-calculus traversal Isabelle HiLog predicate logic Ponder name capture fix abstraction lambda lifting higher-order macro Russell's Paradox Darwin domain theory space-cadet keyboard network byte order order-embedding ASCIIbetical order Lisp HOL first-order logic data flow analysis Hollerithabetical order esim Baudotbetical order

First < Previous 1 2 3 4 5 6 Next > Last