Nuprl - Some Definitions

WhoCites Definitions mb automata 4 Sections GenAutomata Doc

	Who Cites ts fvar?

ts_fvar	`Def ts_fvar(x) == inr(inr(inr(inl(x))))`

	`Thm* x:Label. ts_fvar(x) ts()`

About:

WhoCites Definitions mb automata 4 Sections GenAutomata Doc