|
||||||
"When to Postulate Types"
2008- Elsewhere I have argued that we are committed to the existence of types. The question then arises: what types are we committed to? That is, do we just make a list, or are there general principles that underlie such commitment? |
||||||
|
|
||||||