Second-order equational logic (2010)

by M P Fiore, C-K Hur
Venue:in Proc. CSL’10