Homology Groups of Types in Model Theory and the Computation of H2(p)
scientific article; zbMATH DE number 6279893