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
search result for lambda-calculus in Computing (FOLDOC) dictionary
First
< Previous
1
2
Next >
Last
Qu-Prolog
Prolog/Mali
Modular Prolog
propositional logic
Green's Theorem
bound variable
maximal free expression
principal type
full laziness
HiLog
relational algebra
reduction
fix
predicate logic
abstraction
lambda lifting
delta
talk
curried function
Miranda
Isabelle
temporal logic
Gofer
fuzzy logic
modal logic
First
< Previous
1
2
Next >
Last
