Nuprl Definition : comparison-seq
comparison-seq(c1; c2) == λx,y. eval answer1 = c1 x y in if answer1=0 then c2 x y else answer1
Definitions occuring in Statement :
callbyvalue: callbyvalue,
int_eq: if a=b then c else d,
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
callbyvalue: callbyvalue,
int_eq: if a=b then c else d,
natural_number: $n,
apply: f a
FDL editor aliases :
comparison-seq
Latex:
comparison-seq(c1; c2) == \mlambda{}x,y. eval answer1 = c1 x y in if answer1=0 then c2 x y else answer1
Date html generated:
2016_05_14-PM-02_39_09
Last ObjectModification:
2015_09_22-PM-05_57_02
Theory : list_1
Home
Index