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):
typed lambda-calculus
polymorphic lambda-calculus
Second-Order Lambda-calculus
TALE
PPLambda
relational calculus
Computational Adequacy Theorem
domain calculus
Fun
tuple calculus
LAMBDA
strong typing
head normalisation theorem
lambda-calculus
lambda expression
Lambada-Calculus
pure lambda-calculus
Codd's reduction algorithm
Calculus of Communicating Systems
cursor
nu-calculus
Bird-Meertens Formalism
CPL
beta reduction
Church integer
Ponder
weak typing
Darwin
functional programming
delta reduction
Self
SYDEL
LIMP
WPOP
strongly typed
weakly typed
SweetLambda
CHOCS
Galileo
Trafola-H
CIRCAL
Accent
SLIPS
drop-ins
OLGA
TypedProlog
Burge's Language
Kid
QA4
CCS
PCF
beta conversion
pi-calculus
Emerald
epsilon
Standard ML
predicate calculus
propositional calculus
Ousterhout's dichotomy
CUCH
more...