Now showing items 1-1 of 1

    • Type Theories of Natural Numbers: A Study of Conservative Extension 

      Babunovic´, Aleksandar (2023-06-30)
      We present some possible definitions for what it means for a type theory to be a conservative extension over another type theory. We do so by giving two type theories of natural numbers: T T (N) and T T (N, ×). T T (N) is ...