Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ranalter, Daniel"'
Recently an extension to higher-order logic -- called DHOL -- was introduced, enriching the language with dependent types, and creating a powerful extensional type theory. In this paper we propose two ways how choice can be added to DHOL. We extend t
Externí odkaz:
http://arxiv.org/abs/2410.08874
