MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 01-Dec-96 20:31:26 GMT Content-Type: text/html Content-Length: 2728 Last-Modified: Thursday, 01-Aug-96 17:12:28 GMT 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