That's the full set of starting points.

This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a Dockerfile for generating a docker image. A commit on the ma… ...

Abstract: This chapter contains sections titled: Motivation, Denotational semantics, Equivalence of the semantics, Complete partial orders and continuous functions, The Knaster-Tarski Theorem, Further ...

Among the topics covered are: Further Banach space theory (including the Banach-Steinhaus theorem, the open mapping theorem, the closed graph theorem, including applications of these, and reflexivity) ...