Skip to main content
PRL Project

Project Direction and Research Problems

by Robert L. Constable

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.