There is another branch of the TVS theory, which is not dead at all. It deals with TVS over non-Archimedean fields. See C. Perez-Garcia and W. H. Schikhof, _Locally Convex Spaces over Non-Archimedean Valued Fields_, Cambridge University Press, 2010. doi:[10.1017/CBO9780511729959]( https://doi.org/10.1017/CBO9780511729959)