Nuprl Definition : csm-ap-term-meaning

(t)s ==  let lvl,A,a = t in <lvl, (A)s, (a)s>


Definitions occuring in Statement :  csm-ap-term: (t)s,  csm-ap-type: (AF)s,  spreadn: spread3,  pair: <a, b>
Definitions occuring in definition :  spreadn: spread3,  pair: <a, b>,  csm-ap-type: (AF)s,  csm-ap-term: (t)s
FDL editor aliases :  csm-ap-term-meaning csm-ap-term-meaning
Latex:
(t)s  ==    let  lvl,A,a  =  t  in  <lvl,  (A)s,  (a)s>


Date html generated: 2020_05_20-PM-07_54_45
Last ObjectModification: 2020_05_04-AM-10_13_20

Theory : cubical!type!theory


Home Index