GenAutomata Sections NuprlLIB Doc

Def DecidableEquiv == T:TypeE:TTEquivRel(T)((_1 E _2))Top

is mentioned

In prior sections: mb structures


GenAutomata Sections NuprlLIB Doc