Automath Type Inclusion in Barendregt's Cube.

Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura

Browse the full CSR paper archive.