Published February 20, 2023
| Version v1
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
(197.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5457cd6ad4dd84c8ab03396bb7360c11
|
197.6 kB | Preview Download |