David Corfield Chapter 2 Dependent types

Comments

Some propositions treated in this chapter have event structures as discussed later on. So the construction of ‘leaving off’ or stopping, might be characterised via a map $stop: Activity \to Achievement$ .

Last revised on February 6, 2020 at 09:41:32. See the history of this page for a list of all contributions to it.