An algebraic generalization of Frege structures { binding signatures, Theoret (1999)

by Y Sun
Venue:Comput. Sci