Constructive Notes on Locally Convex Spaces

We give a detailed, corrected presentation of some fundamentals of the constructive theory of locally convex spaces that appear without proofs in <cite>BVtech</cite>. This suffices for some important functional analytic theorems that are stated in our final section.