Author: Urs Format: MarkdownItexadded pointer to:
* [[Carl A. Gunter]], §2-3 in: *Semantics of Programming Languages -- Structures and Techniques*, MIT Press (1992) [[ISBN:9780262570954](https://mitpress.mit.edu/9780262570954/semantics-of-programming-languages/)]
<a href="https://ncatlab.org/nlab/revision/diff/simple+type+theory/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/simple+type+theory/4">v4</a>, <a href="https://ncatlab.org/nlab/show/simple+type+theory">current</a>
added pointer to:
Carl A. Gunter, §2-3 in: Semantics of Programming Languages – Structures and Techniques, MIT Press (1992) [ISBN:9780262570954]