Abstract Analysis of Universal Properties for tccp.

Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva

Browse the full LOPSTR paper archive.