Homological Invariants of Higher-Order Equational Theories.

Mirai Ikebuchi

Browse the full LICS paper archive.