pdf bibUpdate conditions and intensionality in a type-theoretic approach to dialogue semanticsRobin Copper