David Corfield
Chapter 2 Dependent types

Comments

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:ActivityAchievementstop: Activity \to Achievement.

Back to book

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