Quasi-interpretation Synthesis by Decomposition.

Guillaume Bonfante, Jean-Yves Marion, Romain Pchoux

Browse the full ICTAC paper archive.