Maria Emilia Maietti. About Effective Quotients in Constructive Type Theory. In Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors, Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Volume 1657 of Lecture Notes in Computer Science, pages 164-178, Springer, 1998. [doi]
Abstract is missing.