Browsing M.Sc. Computer Science by Subject "Allegories"
Now showing items 1-1 of 1
(Brock University, 2014-09-05)Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present ...