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 notation in Computing (FOLDOC) dictionary
First
< Previous
1
2
Next >
Last
De Bruijn notation
lambda-calculus
lambda abstraction
lambda expression
postfix notation
prefix notation
infix notation
Weak Head Normal Form
name capture
pure lambda-calculus
beta reduction
polymorphic lambda-calculus
alpha conversion
Lambda Prolog
typed lambda-calculus
Head Normal Form
quine
LAMBDA
Second-Order Lambda-calculus
LambdaMOO
System F
dot notation
Reverse Polish Notation
Hungarian Notation
UAN
syntactic sugar
beta abstraction
Church integer
Lolli
constant applicative form
free variable
fully lazy lambda lifting
delta reduction
space-cadet keyboard
Gofer
Internet address
Fun
SweetLambda
esim
SLIPS
FALSE
Burge's Language
closure conversion
Kid
list comprehension
beta conversion
reverse polish syntax
DIANA
CUCH
Alonzo Church
Knights of the Lambda-Calculus
Vlisp
PCN
SLIM
lenient evaluation
Lambada-Calculus
head normalisation theorem
LGN
X.208
ASN.1
dotted quad
X.409
TALE
SOL
PRL
X.680
PPLambda
RPN
exponent
Linear Graph Notation
dot
math-out
prestidigitization
FITNR
Abstract Machine Notation
infix syntax
prefix syntax
dot address
postfix syntax
MC
First
< Previous
1
2
Next >
Last