Hereditarily sequential functionals, in (1994)

by H Nickau
Venue:Matiyasevich (Eds.), Logical Foundations of Computer Science