Nuprl Definition : standard-ds
StandardDS == <λa.if (a =z 2) then IdLnk else Id fi , λa.if (a =z 2) then IdLnkDeq else IdDeq fi >
Definitions occuring in Statement :
idlnk-deq: IdLnkDeq,
IdLnk: IdLnk,
id-deq: IdDeq,
Id: Id,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
lambda: λx.A[x],
pair: <a, b>,
natural_number: $n
FDL editor aliases :
sds
StandardDS == <\mlambda{}a.if (a =\msubz{} 2) then IdLnk else Id fi , \mlambda{}a.if (a =\msubz{} 2) then IdLnkDeq else IdDeq fi >
Date html generated:
2015_07_17-AM-09_13_48
Last ObjectModification:
2012_02_25-AM-10_53_42
Home
Index