Nuprl Definition : iPO
iPO(k;s;t) == k."iPO" s t
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 :
iPO
Latex:
iPO(k;s;t) == k."iPO" s t
Date html generated:
2020_05_20-AM-09_01_06
Last ObjectModification:
2019_11_27-PM-02_14_16
Theory : dynamic!logic
Home
Index