No Cover Image

E-Thesis 352 views 445 downloads

Inductive-inductive definitions. / Fredrik Nordvall Forsberg

Swansea University Author: Fredrik Nordvall Forsberg

Published: 2013
Institution: Swansea University
Degree level: Doctoral
Degree name: Ph.D
URI: https://cronfa.swan.ac.uk/Record/cronfa43083
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-08-02T18:56:14Z
last_indexed 2018-08-03T10:11:52Z
id cronfa43083
recordtype RisThesis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-08-02T16:24:31.2410096</datestamp><bib-version>v2</bib-version><id>43083</id><entry>2018-08-02</entry><title>Inductive-inductive definitions.</title><swanseaauthors><author><sid>f23dc5f7437e0eb2e1163167a36532a2</sid><ORCID>NULL</ORCID><firstname>Fredrik Nordvall</firstname><surname>Forsberg</surname><name>Fredrik Nordvall Forsberg</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract/><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords>Martin-Lof type theory</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2013</publishedYear><publishedDate>2013-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Doctoral</degreelevel><degreename>Ph.D</degreename><apcterm/><lastEdited>2018-08-02T16:24:31.2410096</lastEdited><Created>2018-08-02T16:24:31.2410096</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Fredrik Nordvall</firstname><surname>Forsberg</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0043083-02082018162545.pdf</filename><originalFilename>10821475.pdf</originalFilename><uploaded>2018-08-02T16:25:45.2970000</uploaded><type>Output</type><contentLength>7030652</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:25:45.2970000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-08-02T16:24:31.2410096 v2 43083 2018-08-02 Inductive-inductive definitions. f23dc5f7437e0eb2e1163167a36532a2 NULL Fredrik Nordvall Forsberg Fredrik Nordvall Forsberg true true 2018-08-02 E-Thesis Martin-Lof type theory 31 12 2013 2013-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Doctoral Ph.D 2018-08-02T16:24:31.2410096 2018-08-02T16:24:31.2410096 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Fredrik Nordvall Forsberg NULL 1 0043083-02082018162545.pdf 10821475.pdf 2018-08-02T16:25:45.2970000 Output 7030652 application/pdf E-Thesis true 2018-08-02T16:25:45.2970000 false
title Inductive-inductive definitions.
spellingShingle Inductive-inductive definitions.
Fredrik Nordvall Forsberg
title_short Inductive-inductive definitions.
title_full Inductive-inductive definitions.
title_fullStr Inductive-inductive definitions.
title_full_unstemmed Inductive-inductive definitions.
title_sort Inductive-inductive definitions.
author_id_str_mv f23dc5f7437e0eb2e1163167a36532a2
author_id_fullname_str_mv f23dc5f7437e0eb2e1163167a36532a2_***_Fredrik Nordvall Forsberg
author Fredrik Nordvall Forsberg
author2 Fredrik Nordvall Forsberg
format E-Thesis
publishDate 2013
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2013-12-31T03:54:13Z
_version_ 1763752703342673920
score 11.014224

Similar Items