No Cover Image

Book chapter 680 views 137 downloads

An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe

Anton Setzer Orcid Logo

Volume: Proceedings in honour of the 100th birthday of Kurt Schuette

Swansea University Author: Anton Setzer Orcid Logo

Published: Springer 2019
URI: https://cronfa.swan.ac.uk/Record/cronfa51297
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-08-02T06:32:26Z
last_indexed 2019-10-18T14:21:39Z
id cronfa51297
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-10-18T12:18:33.7755976</datestamp><bib-version>v2</bib-version><id>51297</id><entry>2019-08-02</entry><title>An Upper Bound for the Proof Theoretic Strength of Martin-L&#xF6;f Type Theory with W-type and one Universe</title><swanseaauthors><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-08-02</date><deptcode>SCS</deptcode><abstract/><type>Book chapter</type><journal/><volume>Proceedings in honour of the 100th birthday of Kurt Schuette</volume><publisher>Springer</publisher><keywords/><publishedDay>17</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-07-17</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-10-18T12:18:33.7755976</lastEdited><Created>2019-08-02T03:55:16.7008857</Created><authors><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>1</order></author></authors><documents><document><filename>0051297-02082019035709.pdf</filename><originalFilename>1papdiss.pdf</originalFilename><uploaded>2019-08-02T03:57:09.4470000</uploaded><type>Output</type><contentLength>413854</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2020-08-09T00:00:00.0000000</embargoDate><copyrightCorrect>false</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2019-10-18T12:18:33.7755976 v2 51297 2019-08-02 An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2019-08-02 SCS Book chapter Proceedings in honour of the 100th birthday of Kurt Schuette Springer 17 7 2019 2019-07-17 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-10-18T12:18:33.7755976 2019-08-02T03:55:16.7008857 Anton Setzer 0000-0001-5322-6060 1 0051297-02082019035709.pdf 1papdiss.pdf 2019-08-02T03:57:09.4470000 Output 413854 application/pdf Accepted Manuscript true 2020-08-09T00:00:00.0000000 false eng
title An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
spellingShingle An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
Anton Setzer
title_short An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
title_full An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
title_fullStr An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
title_full_unstemmed An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
title_sort An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Anton Setzer
format Book chapter
container_volume Proceedings in honour of the 100th birthday of Kurt Schuette
publishDate 2019
institution Swansea University
publisher Springer
document_store_str 1
active_str 0
published_date 2019-07-17T04:03:08Z
_version_ 1763753264143138816
score 10.998321

Similar Items