Nuprl Definition : mrec_spec
MutualRectypeSpec == (Atom × ((Atom × ((Atom + Atom + Type) List)) List)) List
Definitions occuring in Statement :
list: T List,
product: x:A × B[x],
union: left + right,
atom: Atom,
universe: Type
Definitions occuring in definition :
product: x:A × B[x],
list: T List,
union: left + right,
atom: Atom,
universe: Type
FDL editor aliases :
mrspec
Latex:
MutualRectypeSpec == (Atom \mtimes{} ((Atom \mtimes{} ((Atom + Atom + Type) List)) List)) List
Date html generated:
2019_06_20-PM-02_14_34
Last ObjectModification:
2019_02_24-PM-01_00_31
Theory : tuples
Home
Index