Word:
Definition
Translation En -> Es
Translation En -> De
Translation En -> Fr
Translation Es -> En
Translation Es -> De
Translation Es -> Fr
Translation De -> En
Translation De -> Es
Translation De -> Fr
Translation Fr -> En
Translation Fr -> Es
Translation Fr -> De
Second-Order Lambda-calculus
(language)
Second-Order Lambda-calculus
- (
SOL
)
A
typed lambda-calculus
.
["
Abstract
Types
have
Existential
Type
",
J
.
Mitchell
et
al
,
12th
POPL
,
ACM
1985
,
pp
.
37-51
].
Browse
second sight
second stomach
Second story
Second surcharge
second thought
second trimester
second wind
Second World War
second-best
Second-class
Second-cut file
second-degree burn
second-guess
second-hand speech
second-hand store
second-in-command
-- Second-Order Lambda-calculus --
second-place finish
Second-rate
second-rater
Second-sight
Second-sighted
second-string
second-system effect
second-year
secondaries
Secondarily
Secondariness
Secondary
Secondary accent
Secondary age
Secondary alcohol
secondary amenorrhea
Definitions Index:
#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
About this site and copyright information
-
Online Dictionary Home
-
Privacy Policy