Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
Lambda Prolog Qu-Prolog Prolog/Mali Lolli lambda abstraction PDC Prolog lambda expression NU-Prolog Edinburgh Prolog SWI-Prolog Prolog Prolog-III IC Prolog II LM-Prolog Turbo Prolog lambda-calculus Modular Prolog MU-Prolog Weak Head Normal Form pure lambda-calculus beta reduction PI Prolog++ Prolog-II M-Prolog De Bruijn notation Open Prolog EPILOG polymorphic lambda-calculus Marseille Prolog C-Prolog Delta-Prolog alpha conversion Andorra-Prolog Extended Concurrent Prolog Prolog-Linda d-Prolog Modula-Prolog ESLPDPRO LOGLISP QLOG typed lambda-calculus ECRC-Prolog BeBOP Quintus Prolog Head Normal Form SEPIA quine Concurrent Prolog XWIP Brain Aid Prolog LAMBDA Second-Order Lambda-calculus LambdaMOO SB-Prolog Prolog-2 CS-Prolog System F IDEAL PNU-Prolog more...