Nuprl Definition : pi-prefix-names
pi-prefix-names(p) == pi_prefix_ind(p; pisend(x,y)⇒ [x; y]; pircv(x,y)⇒ [x; y])
Definitions occuring in Statement :
pi_prefix_ind: pi_prefix_ind,
cons: [a / b],
nil: []
FDL editor aliases :
pi-prefix-names
Latex:
pi-prefix-names(p) == pi\_prefix\_ind(p; pisend(x,y){}\mRightarrow{} [x; y]; pircv(x,y){}\mRightarrow{} [x; y])
Date html generated:
2015_07_23-AM-11_33_32
Last ObjectModification:
2012_08_30-PM-01_19_05
Home
Index