A dependently-typed construction of semi-simplicial types. (June 2015)
- Record Type:
- Journal Article
- Title:
- A dependently-typed construction of semi-simplicial types. (June 2015)
- Main Title:
- A dependently-typed construction of semi-simplicial types
- Authors:
- HERBELIN, HUGO
- Abstract:
- <abstract abstract-type="normal"> <title> <x content-type="archive" xml:space="preserve">Abstract</x> </title> <p>This paper presents a dependently-typed construction of semi-simplicial sets in a type theory where sets are taken to be types. This addresses an open question raised on the wiki of the special year on Univalent Foundations at the Institute of Advanced Study (2012–2013).</p> </abstract>
- Is Part Of:
- Mathematical structures in computer science. Volume 25:Number 5(2015)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 25:Number 5(2015)
- Issue Display:
- Volume 25, Issue 5 (2015)
- Year:
- 2015
- Volume:
- 25
- Issue:
- 5
- Issue Sort Value:
- 2015-0025-0005-0000
- Page Start:
- 1116
- Page End:
- 1131
- Publication Date:
- 2015-06
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129514000528 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 3007.xml