Towards Fuzzy Type Theory with Partial Functions.

Vilm Novk

Browse the full EUSFLAT paper archive.