Nuprl Definition : atmFrcPersistent
atmFrcPersistent(k;i;a) == k."FP" i a
Definitions occuring in Statement :
record-select: r.x,
apply: f a,
token: "$token"
Definitions occuring in definition :
apply: f a,
record-select: r.x,
token: "$token"
FDL editor aliases :
atmFrcPersistent
Latex:
atmFrcPersistent(k;i;a) == k."FP" i a
Date html generated:
2019_10_16-AM-11_23_42
Last ObjectModification:
2019_04_26-AM-11_33_00
Theory : dynamic!logic
Home
Index