Nuprl Definition : pcw-pp-head
pcw-pp-head(pp) == let n,ss = pp in ss 0
Definitions occuring in Statement :
apply: f a,
spread: spread def,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
apply: f a,
natural_number: $n
FDL editor aliases :
pcw-pp-head
Latex:
pcw-pp-head(pp) == let n,ss = pp in ss 0
Date html generated:
2016_05_14-AM-06_13_02
Last ObjectModification:
2015_09_22-PM-05_47_07
Theory : co-recursion
Home
Index