An algebraic generalization of Frege structures — binding algebras (1999)

by Y Sun
Venue:TCS