Vilém Novák Towards Fuzzy Type Theory. 65-70 2003 conf/ismvl/2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180065abs.htm db/conf/ismvl/ismvl2003.html#Novak03