Skip to main content
PRL Project

Reasoning about Java Classes in Nuprl

by Pavel Naumov
1997-1998

This Tuesday I will talk on types with recursive elements.