# * Project Direction and Research Problems *

## by Robert L. Constable

1995-1996

Robert Constable will speak informally about project directions and research problems that look promising (especially from the perspective of a sabbatical).

In particular he will mention briefly subtyping, formalizing set theory in type theory, constructive model theory and nonstandard analysis, and reasoning about partial functions.