GenAutomata
Sections
NuprlLIB
Doc
Def
(
x
c.f(x))(y) ==
x:T. x
c & y
f(x)
is mentioned
In prior sections:
mb
collection
mb
automata
2
mb
automata
3
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
x
c.f(x))(y) == 
x:T. x c & y f(x)