Automated Higher-order Reasoning about Quantales.

Han-Hing Dang, Peter Hfner

Browse the full CADE paper archive.