• Login
    Search 
    •   Repository Home
    • Brock Theses
    • Search
    •   Repository Home
    • Brock Theses
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-1 of 1

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    L-Fuzzy Relations in Coq 

    Jackson, Ethan (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 ...

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    AuthorJackson, Ethan (1)Subject
    Allegories (1)
    Arrow Categories (1)Coq (1)L-Fuzzy Relations (1)... View MoreDate Issued
    2014 (1)
    Degree
    M.Sc. Computer Science (1)

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback