Reasoning about Java Classes in Nuprl

PRL Seminars

Abstract

This Tuesday I will talk on types with recursive elements.