Nuprl - mb automata 4 Citations of zip

mb automata 4 Sections GenAutomata Doc

Def zip(as;bs) == Case of as; nil

nil ; a.as'

Case of bs; nil

nil ; b.bs'

[ < a,b > / zip(as';bs')] (recursive)

is mentioned

In prior sections: mb list 1 mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc