Bootstrapping extensionality: Agda formalization

Thumbnail
View/Open
Publication date
2023-03-27
Creators
Sestini, Filippo
Metadata
Show full item record
Description
Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".
External URI
DOI
Subjects
  • Type theory
  • type theory, agda, iits, extensionality, setoids
  • Mathematical Sciences::Mathematics
  • Q Science::QA Mathematics
Divisions
  • University of Nottingham, UK Campus::Faculty of Science::School of Computer Science
Deposit date
2023-03-27
Data type
Source code
Funders
  • Other
Data collection method
Code editor
Resource languages
  • en
Publisher
The University of Nottingham
CC-BY
Except where otherwise noted, this item's license is described as Creative Commons by Attribution