Nuprl Definition : PZF-safe
PZF-safe(phi;vs) == FormSafe1(phi) vs
Definitions occuring in Statement :
FormSafe1: FormSafe1(f),
apply: f a
Definitions occuring in definition :
apply: f a,
FormSafe1: FormSafe1(f)
FDL editor aliases :
PZF-safe
PZF-safe
Latex:
PZF-safe(phi;vs) == FormSafe1(phi) vs
Date html generated:
2018_05_21-PM-11_28_47
Last ObjectModification:
2017_10_12-PM-00_07_58
Theory : PZF
Home
Index