Hereditarily sequential functionals (1994)

by H Nickau
Venue:In Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at St. Petersburg, LNCS