Bootstrapping extensionality: Agda formalization
Publication Date
March 27, 2023
Creators
Description
Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".
Subjects (LCSH)
Subjects
Subjects (JACS)
Subjects (LC)
Divisions
University of Nottingham, UK Campus::Faculty of Science::School of Computer Science
Data type
Source code
Funders
Data collection method
Code editor
Resource languages
English
Publisher
The University of Nottingham
Date Issued
March 27, 2023
Except where otherwise noted, this item's license is described as
File(s)![Thumbnail Image]()
Name
formalization-v2.zip
Size
188.96 KB
Format
Unknown
Checksum (MD5)
94dd65a11b1a0e0523d7f146210bc97c