Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin VDict bookmarklet For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
Showing 1 to 120 of 183 results found for: typed lambda-calculus
typed lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression
lambda-calculus LAMBDA pure lambda-calculus TALE
PPLambda beta reduction Fun lambda abstraction
Computational Adequacy Theorem head normalisation theorem alpha conversion De Bruijn notation
Weak Head Normal Form Church integer System F Lambda Prolog
Lambada-Calculus delta reduction relational calculus beta abstraction
domain calculus SweetLambda Burge's Language SLIPS
Kid free variable Ponder tuple calculus
beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus
strong typing SOL functional programming call-by-need
Head Normal Form Joy ISWIM space-cadet keyboard
quine eta conversion LambdaMOO combinator
6.001 Codd's reduction algorithm Stack Environment Control Dump machine Calculus of Communicating Systems
cursor nu-calculus Bird-Meertens Formalism CPL
Lolli name capture constant applicative form weak typing
fully lazy lambda lifting Russell's Paradox Darwin domain theory
Lisp Self SYDEL LIMP
esim WPOP strongly typed weakly typed
FALSE CHOCS closure conversion Galileo
CIRCAL Trafola-H Accent drop-ins
OLGA TypedProlog Vlisp SLIM
lenient evaluation QA4 CCS PCF
pi-calculus Emerald epsilon PRL
predicate calculus propositional calculus Standard ML Ousterhout's dichotomy
CIRcuit CALculus FL Turbo Prolog PROSE
canonical TS symbolic logic command
Russell L0 Qu-Prolog Modular Prolog
Prolog/Mali propositional logic Maisie drop-outs
Green's Theorem bound variable Jade simplex printer
EL1 A Language for Attributed Definitions maximal free expression bell
1 2 Next


You can add VDict tools to iGoogle to search VDict right from your Google homepage:
  • VDict dictionary: Add to Google
  • VDict translation: Add to Google
Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt