The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007.
Lect9 transformation3d
The Expressivity of Quantifying over Regions