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