Symbolic computation of differential equivalences.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full POPL paper archive.