Change a double hyphen to an en-dash.

]]>correct link which pointed to a different paper than claimed

Evan Cavallo

]]>added earlier reference for the introduction of the notion of W-types:

- Per Martin-Löf, pp. 171 of:
*Constructive Mathematics and Computer Programming*, in:*Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science (1979)*, Studies in Logic and the Foundations of Mathematics**104**(1982) 153-175 $[$doi:10.1016/S0049-237X(09)70189-2, ISBN:978-0-444-85423-0$]$

following a hint in another thread (here)

]]>and pointer to:

- Frank Pfenning, Christine Paulin-Mohring,
*Inductively defined types in the Calculus of Constructions*, in:*Mathematical Foundations of Programming Semantics MFPS 1989*, Lecture Notes in Computer Science**442**, Springer (1990) $[$doi:10.1007/BFb0040259$]$

added pointer to:

- Robert L. Constable, N. Paul Francis Mendler,
*Recursive definitions in type theory*, in*Logic of Programs 1985*, Lecture Notes in Computer Science**193**Springer (1985) $[$doi:10.1007/3-540-15648-8_5$]$

a bare list of references, to be `!include`

-ed into the References-lists of relevant entries (*inductive type*, *inductive familiy*, *inductive-recursive family*, *calculus of inductive constructions*)

this list includes a polished-up version of

all the references previously listed at

*inductive familiy*in the section “History” (due to revisions $\leq 5$ by Bas Spitters)further references previously listed at

*inductive-recursive type*

and some more

]]>