Data for: "Type-Theoretic Approaches to Ordinals"

Dataset

Description

Agda development of the paper "Type-Theoretic Approaches to Ordinals" by Nicolai Kraus, Fredrik Nordvall-Forsberg, and Chuangjie Xu
Date made available5 Apr 2023
PublisherZenodo

Cite this