[[!redirects P. LeFanu Lumsdaine]] [[!redirects P. Lumsdaine]] [[!redirects Peter Lumsdaine]] [[!redirects Lumsdaine]] [Homepage](http://peterlefanulumsdaine.com/) [[nlab:Peter LeFanu Lumsdaine]] category: people