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
Latex:
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:
2016_05_16-AM-10_59_45
Last ObjectModification:
2012_02_25-AM-10_53_42
Theory : event-ordering
Home
Index