null-df-program(B) == <B, Unit, 
, 
s,a.<inr , {}>>
Definitions occuring in Statement :
it: ,
unit: Unit,
lambda: x.A[x],
pair: <a, b>,
inr: inr x ,
empty-bag: {}
Definitions :
unit: Unit,
lambda: x.A[x],
pair: <a, b>,
inr: inr x ,
it: ,
empty-bag: {}
FDL editor aliases :
null-df-program
null-df-program(B) == <B, Unit, \mcdot{}, \mlambda{}s,a.<inr \mcdot{} , \{\}>>
Date html generated:
2011_08_16-AM-09_48_17
Last ObjectModification:
2011_03_22-PM-02_13_43
Home
Index