Showing 1 - 4 results of 4 for search 'Andrej Bauer', query time: 0.03s Refine Results
  1. 1
    Instance reducibility and Weihrauch degrees

    Instance reducibility and Weihrauch degrees by Andrej Bauer

    Published 2022-08-01
    Get full text
    Article
  2. 2
    An Effect System for Algebraic Effects and Handlers

    An Effect System for Algebraic Effects and Handlers by Andrej Bauer, Matija Pretnar

    Published 2014-12-01
    Get full text
    Article
  3. 3
    Every metric space is separable in function realizability

    Every metric space is separable in function realizability by Andrej Bauer, Andrew Swan

    Published 2019-05-01
    Get full text
    Article
  4. 4
    An extensible equality checking algorithm for dependent type theories

    An extensible equality checking algorithm for dependent type theories by Andrej Bauer, Anja Petković Komel

    Published 2022-01-01
    Get full text
    Article

Search Tools: