Published February 20, 2023 | Version v2
Software Open

Type-Theoretic Approaches to Ordinals

Authors/Creators

  • 1. University of Nottingham
  • 2. University of Strathclyde
  • 3. SonarSource

Description

Agda development of the paper "Type-Theoretic Approaches to Ordinals" by Nicolai Kraus, Fredrik Nordvall-Forsberg, and Chuangjie Xu

Files

type-theoretic-approaches-to-ordinals.zip

Files (303.6 kB)

Name Size Download all
md5:c7a5295192fd5f2e70e9908f99f667c8
303.6 kB Preview Download