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):
relational calculus
domain calculus
tuple calculus
lambda-calculus
typed lambda-calculus
polymorphic lambda-calculus
Second-Order Lambda-calculus
lambda expression
Lambada-Calculus
pure lambda-calculus
PPLambda
Codd's reduction algorithm
Calculus of Communicating Systems
nu-calculus
Bird-Meertens Formalism
beta reduction
Church integer
Darwin
delta reduction
Fun
SweetLambda
CHOCS
CIRCAL
SLIPS
Burge's Language
Kid
QA4
CCS
LAMBDA
beta conversion
pi-calculus
epsilon
predicate calculus
propositional calculus
CUCH
Alonzo Church
CIRcuit CALculus
Knights of the Lambda-Calculus
PROSE
head normalisation theorem
symbolic logic
System F
TALE
SOL
Modular Prolog
propositional logic
Green's Theorem
call-by-need
Joy
alpha conversion
ISWIM
HiLog
relational algebra
eta conversion
predicate logic
beta abstraction
Computational Adequacy Theorem
combinator
De Bruijn notation
6.001
more...