Maria Emilia Maietti. On Choice Rules in Dependent Type Theory. In T. V. Gopal, Gerhard Jäger, Silvia Steila, editors, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Volume 10185 of Lecture Notes in Computer Science, pages 12-23, 2017. [doi]
Abstract is missing.