Nuprl Definition : bound_in_prefix
bound_in_prefix(pre) == G(pre) where G(chan<c>) = [] G(chan?(x)) = [x]
Definitions occuring in Statement :
pi_prefix_ind: pi_prefix_ind,
cons: [a / b],
nil: []
FDL editor aliases :
bound_in_prefix
Latex:
bound\_in\_prefix(pre) == G(pre) where G(chan<c>) = [] G(chan?(x)) = [x]
Date html generated:
2015_07_23-AM-11_34_00
Last ObjectModification:
2012_08_30-PM-01_19_52
Home
Index