Vis enkel innførsel

dc.contributor.authorHusebø, Anders Knarvikeng
dc.date.accessioned2014-09-26T12:16:15Z
dc.date.available2014-09-26T12:16:15Z
dc.date.issued2014-06-02eng
dc.date.submitted2014-06-02eng
dc.identifier.urihttps://hdl.handle.net/1956/8566
dc.description.abstractIn this master thesis we want to study the newly discovered homotopy type theory, and its models within mathematics. We look at models in simplicial sets, simplicial symmetric monoids, and a new category which could be called multi pointed simplicial sets. We also describe dependent type theory from the informatical point of view, and some implications of it.en_US
dc.format.extent610092 byteseng
dc.format.mimetypeapplication/pdfeng
dc.language.isoengeng
dc.publisherThe University of Bergenen_US
dc.titleA study in Univalenceen_US
dc.typeMaster thesis
dc.rights.holderCopyright the author. All rights reserveden_US
dc.description.localcodeMAMN-MAT
dc.description.localcodeMAT399
dc.subject.nus753199eng
fs.subjectcodeMAT399


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel