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 typed%20lambda-calculus in Computing (FOLDOC) dictionary
First
< Previous
1
2
Next >
Last
EL1
A Language for Attributed Definitions
bell
C-BC
call-by-need
Pop-11
Joy
alpha conversion
ISWIM
Mary
Alfl
type-ahead
HiLog
scripting language
POOL2
relational algebra
eta conversion
enumerated type
predicate logic
Amiga E
beta abstraction
combinator
clipboard
Concurrent ML
De Bruijn notation
Idealized CSP
address
RTL/2
Mesa
6.001
local echo
Single ASsignment Language
Stack Environment Control Dump machine
free variable
lambda abstraction
A Programming Language
luser
NIL
array
Trilogy
QWERTY
Lambda Prolog
delete
backing store
pointer
shebang
HAKMEM
Weak Head Normal Form
delta
WAITS
C+-
Russell's Paradox
Isabelle
temporal logic
domain theory
Oberon
Hungarian Notation
Hermes
Lisp
security through obscurity
space-cadet keyboard
Clean
DWIM
Opal
PROgrammed Graph REwriting Systems
BASIC
fuzzy logic
modal logic
message passing
chat
Java
canonical
amateur packet radio
TYMNET
Perl
First
< Previous
1
2
Next >
Last