Nominal C-Unification.

Mauricio Ayala-Rincn, Washington de Carvalho Segundo, Maribel Fernndez, Daniele Nantes-Sobrinho

Browse the full LOPSTR paper archive.