Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
lambda expression
pure lambda-calculus
relational calculus
lambda-calculus
domain calculus
beta reduction
Church integer
tuple calculus
delta reduction
typed lambda-calculus
polymorphic lambda-calculus
Second-Order Lambda-calculus
Lambada-Calculus
PPLambda
Codd's reduction algorithm
Calculus of Communicating Systems
nu-calculus
Bird-Meertens Formalism
hue, saturation, brightness
Darwin
domain theory
Fun
SweetLambda
CHOCS
CIRCAL
SLIPS
Burge's Language
Kid
QA4
CCS
LAMBDA
beta conversion
IGPL
Quantify
pi-calculus
epsilon
predicate calculus
propositional calculus
Purify
PureLink
CUCH
Alonzo Church
CIRcuit CALculus
Knights of the Lambda-Calculus
PROSE
head normalisation theorem
symbolic logic
Pure Lisp
System F
TALE
SOL
Modular Prolog
propositional logic
Green's Theorem
call-by-need
Joy
alpha conversion
ISWIM
pure functional language
HiLog
more...