Experiments with Choice in Dependently-Typed Higher-Order Logic.

Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk

Browse the full LPAR paper archive.