Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
Data for: "Type-Theoretic Approaches to Ordinals"
Fredrik Nordvall Forsberg
(Creator)
Chuangjie Xu
(Creator)
Nicolai Kraus
(Creator)
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Dataset
Overview
Research output
(1)
Description
Agda development of the paper "Type-Theoretic Approaches to Ordinals" by Nicolai Kraus, Fredrik Nordvall-Forsberg, and Chuangjie Xu
Date made available
5 Apr 2023
Publisher
Zenodo
Contact
[email protected]
DOI
10.5281/zenodo.7657416
Research output
Research output per year
2023
2023
2023
1
Article
Research output per year
Research output per year
Type-theoretic approaches to ordinals
Kraus, N.,
Nordvall Forsberg, F.
& Xu, C.,
12 May 2023
,
In:
Theoretical Computer Science.
957
,
34 p.
, 113843.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Theoretic Approach
100%
Ordinal Number
20%
Foundedness
20%
Preserving Function
20%
Extensional Equality
20%
3
Citations (Scopus)
19
Downloads (Pure)
Cite this
DataSetCite
Nordvall Forsberg, F. (Creator), Xu, C. (Creator), Kraus, N. (Creator) (
5 Apr 2023
). Data for: "Type-Theoretic Approaches to Ordinals". Zenodo.
10.5281/zenodo.7657416