Nuprl Definition : st-encrypt
encrypt(tab;keyv) == let K,p,f = tab in <K, p + 1, if p <z K then f[p:=<fst((f p)), keyv>] else f fi >
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
eq_int: (i =z j),
spreadn: spread3,
pi1: fst(t),
apply: f a,
lambda: λx.A[x],
pair: <a, b>,
add: n + m,
natural_number: $n,
update: f[x:=v]
FDL editor aliases :
st-encrypt
st-encrypt
Latex:
encrypt(tab;keyv) == let K,p,f = tab in <K, p + 1, if p <z K then f[p:=<fst((f p)), keyv>] else f f\000Ci >
Date html generated:
2016_05_16-AM-10_00_54
Last ObjectModification:
2013_03_25-PM-01_53_10
Theory : new!event-ordering
Home
Index