Index of /wadler/papers/dual/dual-slides/images
Name Last modified Size Description
pompidou-side.jpg 2004-04-13 11:36 361K
Pompidou-from-air.jpg 2004-04-13 11:36 345K
pompidou-colours.jpg 2004-04-13 11:36 164K
church-349.jpg 2004-04-13 11:36 102K
church-1.jpg 2004-04-13 11:36 95K
church-352.jpg 2004-04-13 11:36 88K
curry-photo.jpg 2004-04-13 11:36 82K
pompidou-fountain.jpg 2004-04-13 11:36 71K
gentzen-77.jpg 2004-04-13 11:36 58K
gentzen-84.jpg 2004-04-13 11:36 52K
gentzen-79.jpg 2004-04-13 11:36 43K
pompidou.jpg 2004-04-13 11:36 28K
Frege-portrait.jpg 2004-04-13 11:36 22K
pompidou-slant.jpg 2004-04-13 11:36 19K
Boole-portrait.jpg 2004-04-13 11:36 12K
Gentzen-photo.jpg 2004-04-13 11:36 11K
Curry-portrait.jpg 2004-04-13 11:36 8.9K
Church-photo.jpg 2004-04-13 11:36 4.6K
Howard-portrait.jpg 2004-04-13 11:36 2.5K
Apache/2.4 Server at homepages.inf.ed.ac.uk Port 443