Nuprl Definition : atmFrc_prog
atmFrc_prog(k;a;r;s) == k."G" a r s
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 :
atmFrc_prog
atmFrc_prog
Latex:
atmFrc\_prog(k;a;r;s) == k."G" a r s
Date html generated:
2019_10_15-AM-11_46_50
Last ObjectModification:
2019_04_29-PM-00_42_23
Theory : dynamic!logic
Home
Index