Nuprl Definition : concrete-interface
CI == dd:DeclSet × T:Type × (es-information-type(dd) ─→ (T + Top))
Definitions occuring in Statement :
top: Top,
function: x:A ─→ B[x],
product: x:A × B[x],
union: left + right,
universe: Type
FDL editor aliases :
concrete-interface
concrete-interface
CI == dd:DeclSet \mtimes{} T:Type \mtimes{} (es-information-type(dd) {}\mrightarrow{} (T + Top))
Date html generated:
2015_07_17-AM-08_57_43
Last ObjectModification:
2013_03_25-PM-01_54_05
Home
Index