Second-Order Equational Logic (Extended Abstract).

Marcelo P. Fiore, Chung-Kil Hur

Browse the full CSL paper archive.