GENERAL TYPE‐STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS Article in Mathematical Logic Quarterly (January 1983)