An algebraic generalization of Frege structures -- binding algebras
scientific article; zbMATH DE number 1238416
scientific article