Show simple item record

dc.contributor.authorPaulson, Lawrenceen
dc.date.accessioned2021-09-27T23:31:06Z
dc.date.available2021-09-27T23:31:06Z
dc.date.issued2019-01-01en
dc.identifier.issn0166-6991
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/328592
dc.rightsAll rights reserved
dc.titleFormalising Mathematics in Simple Type Theoryen
dc.typeArticle
prism.endingPage453
prism.publicationDate2019en
prism.startingPage437
prism.volume407en
dc.identifier.doi10.17863/CAM.76041
rioxxterms.versionofrecord10.1007/978-3-030-15655-8_20en
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2019-01-01en
dc.contributor.orcidPaulson, Lawrence [0000-0003-0288-4279]
dc.identifier.eissn2542-8292
rioxxterms.typeJournal Article/Reviewen
pubs.funder-project-idEuropean Commission Horizon 2020 (H2020) ERC (742178)
rioxxterms.freetoread.startdate2020-01-01


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record