Static Analysis in Finitely Supported Mathematics.

Andrei Alexandru, Gabriel Ciobanu

Browse the full SYNASC paper archive.