Banach Spaces as Data Types - Normann, Dag (Logical methods in computer science, 2011)
Keywords: f.1.1, f.4.1, f.3.2; mathematics - logic