E#Env ==
(Atom 
(BaseDef + CombinatorDef + {dv:ClassDerivation|
WF(dv) 
(||cdv-types(dv)|| = 1)} )) List
Definitions :
list: type List,
product: x:A B[x],
atom: Atom,
base-deriv: BaseDef,
union: left + right,
combinator-def: CombinatorDef,
set: {x:A| B[x]} ,
classderiv: ClassDerivation,
and: P Q,
cdv-wf: WF(dv),
equal: s = t,
int: 
,
length: ||as||,
cdv-types: cdv-types(dv),
natural_number: $n
FDL editor aliases :
esharp-env
E\#Env ==
(Atom \mtimes{} (BaseDef + CombinatorDef + \{dv:ClassDerivation| WF(dv) \mwedge{} (||cdv-types(dv)|| = 1)\} )) List
Date html generated:
2010_08_27-PM-08_16_19
Last ObjectModification:
2010_06_22-PM-05_24_00
Home
Index