Bishop, Goldberg - Tensor Analysis on Manifolds(dover 1980)(288s).pdf
A Locally Nameless Theory of Objects 1.Introduction: -calculus and De Bruijn notation 2.locally nameless technique 3.formalization in Isabelle and proofs.
Tensor Calculus on Manifolds
Cape June 2011 Pure Mathematics Sr