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.

Project Direction and Research Problems

by Robert L. Constable 1995-1996

by Robert L. Constable
1995-1996