Formula Simplification via Invariance Detection by Algebraically Indexed Types.

Takuya Matsuzaki, Tomohiro Fujita

Browse the full CADE paper archive.