AcceptorState == Id 
(? T)
Definitions :
Id: Id,
union: left + right,
product: x:A B[x],
nat: ,
unit: Unit
FDL editor aliases :
pax-st
AcceptorState == Id \mtimes{} \mBbbN{} \mtimes{} (?\mBbbN{} \mtimes{} T)
Date html generated:
2010_08_28-AM-11_52_22
Last ObjectModification:
2010_04_16-AM-01_00_44
Home
Index