DMCA

Automated Higher-order Reasoning in Quantales

by Han-hing Dang