On Choice Rules in Dependent Type Theory.

Maria Emilia Maietti

Browse the full TAMC paper archive.