Hilbert spaces over non-archimedean fields - Schmidpeter, Raphael (2018)