PRL Seminars

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.