Vilém Novák. Fuzzy Type Theory, Descriptions, and Partial Functions. In Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011, Aix-Les-Bains, France, July 18-22, 2011. pages 189-195, Atlantis Press, 2011. [doi]
Abstract is missing.