Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A cubical model of homotopy type theory
Stockholm University, Faculty of Science, Department of Mathematics. Carnegie Mellon University, USA.
2016 (English)Report (Other academic)
Place, publisher, year, edition, pages
2016. , 31 p.
Keyword [en]
Type theory, dependent type theory, homotopy theory, homotopy type theory, category theory, cubical sets
National Category
Algebra and Logic
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-133063OAI: oai:DiVA.org:su-133063DiVA: diva2:956562
Note

Notes from a series of lectures given in May–June, 2016, in the Stockholm Logic Seminar and the Topological Actitivies Seminar.

Available from: 2016-08-30 Created: 2016-08-30 Last updated: 2017-09-11Bibliographically approved

Open Access in DiVA

Awodey-Stockholm-Lectures-2016(326 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 326 kBChecksum SHA-512
1f9c49fad1749bd315b40a797f38c54fdf35e7e0c724b864a15c6cb0843bdd008eefe198e2d9ad58ca237bd5ae047a77afd305e262583a499bcc35dbf05e4a90
Type fulltextMimetype application/pdf

Other links

arXiv:1607.06413

Search in DiVA

By author/editor
Awodey, Steve
By organisation
Department of Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf