Towards a theory of local and global in computation (Q1242680)

From MaRDI portal