Church's Thesis and Related Axioms in Coq's Type Theory.

Yannick Forster

Browse the full CSL paper archive.