Towards Fast Nominal Anti-unification of Letrec-Expressions.

Manfred Schmidt-Schau, Daniele Nantes-Sobrinho

Browse the full CADE paper archive.