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: 2016_05_17-AM-11_24_46 Last ObjectModification: 2012_08_30-PM-01_19_05 Theory : event-logic-applications Home Index