Diagonalization and Type Rewriting in Clam.

Jernimo Pellegrini, Jacques Wainer

Browse the full EPIA paper archive.