http://www.cs.cornell.edu/Info/People/jyh/prl-seminar.html PRL Seminar talks

PRL Seminars

Here are some of the slides for the talks I have given in the Nuprl seminar. These slides can be pretty technical, and assume knowledge of the Nuprl system and type theory. In some cases I present information at an intuitive level that is technically imprecise.

All slides are in Portable Document Format (PDF). You can obtain a PDF reader from Adobe for just about any machine you can imagine using. I prepared these presentations using Adobe Persuasion and Adobe Illustrator.

Some other talks.

Horus talks