Nuprl Definition : ma-valtype
Valtype(da;k) == da(k)?Top
Definitions occuring in Statement :
fpf-cap: f(x)?z,
Kind-deq: KindDeq,
top: Top
FDL editor aliases :
ma-valtype
Latex:
Valtype(da;k) == da(k)?Top
Date html generated:
2016_05_16-AM-11_37_45
Last ObjectModification:
2012_02_25-AM-11_14_44
Theory : event-ordering
Home
Index