Nuprl - mb automata 4 Citations of rel free vars

mb automata 4 Sections GenAutomata Doc

Def rel_free_vars(r) == reduce(

t,vs. term_free_vars(t) @ vs;nil;r.args)

is mentioned

In prior sections: mb automata 2 mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc