Show simple item record

dc.contributor.authorSestini, Filippo
dc.date.accessioned2023-03-27T12:12:47Z
dc.date.available2023-03-27T12:12:47Z
dc.date.issued2023-03-27
dc.identifier.urihttps://rdmc.nottingham.ac.uk/handle/internal/10461
dc.description.abstractAgda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".en_UK
dc.language.isoenen_UK
dc.publisherThe University of Nottinghamen_UK
dc.rightsCC-BY*
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/*
dc.subject.lcshType theoryen_UK
dc.titleBootstrapping extensionality: Agda formalizationen_UK
dc.identifier.doihttp://doi.org/10.17639/nott.7291
dc.subject.freetype theory, agda, iits, extensionality, setoidsen_UK
dc.subject.jacsMathematical Sciences::Mathematicsen_UK
dc.subject.lcQ Science::QA Mathematicsen_UK
uon.divisionUniversity of Nottingham, UK Campus::Faculty of Science::School of Computer Scienceen_UK
uon.funder.controlledOtheren_UK
uon.datatypeSource codeen_UK
uon.collectionmethodCode editoren_UK


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Public Research Data
    A collection of research data, held in this repository, that is publicly available, except where individual embargoes apply

Show simple item record

CC-BY
Except where otherwise noted, this item's license is described as Creative Commons by Attribution