1 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Graham Manuell
It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presen…