Celebration of the 60th Birthday of Per Martin-Löf
April 27, 2002
Berg en Dal, The Netherlands
At April 27, 2002 talks were given by Dana S Scott, Peter Aczel and Jean Yves Girard. Below are links to the talks of all three speakers and to the slides of Peter Aczel and Jean Yves Girard (we apologize for the bad sound quality on the video with Dana Scott and the fuzzy picture at the first part of the video with Jeay Yves Girard):
Constructive Validity Revisited
Dana S Scott
High Quality
Windows Media (800 Mb)
High Quality DivX (1
Gb)
Low Quality Real Video (177 Mb)
From The Rules of LOGIC to the Logic of RULES
Jean-Yves Girard
High Quality
Windows Media (800 Mb)
High Quality DivX (1
Gb)
Low Quality Real Video (177 Mb)
The Varieties of Type Theories
Peter Aczel
Video
High Quality
Windows Media (800 Mb)
High Quality DivX (1
Gb)
Low Quality Real Video (177 Mb)
Windows Media can be played on Windows using the media player. A Divx player can be donloaded form www.divx.com for Linux, Windows and Mac. Real Video can be used on any Unix, Linux, Mac and Windows and can be donloaded from www.real.com.