\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\bibstyle{biblatex}
\bibdata{main-blx,example}
\citation{biblatex-control}
\abx@aux@refcontext{nyt/global//global/global}
\@writefile{toc}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\@writefile{lof}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\@writefile{lot}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\babel@aux{english}{}
\@writefile{toc}{\contentsline {chapter}{Declaration of Authorship}{iii}{section*.1}}
\@writefile{toc}{\contentsline {chapter}{Abstract}{vii}{section*.2}}
\@writefile{toc}{\contentsline {chapter}{Acknowledgements}{ix}{section*.3}}
\gdef \LT@i {\LT@entry 
    {1}{66.74977pt}\LT@entry 
    {1}{127.90416pt}}
\gdef \LT@ii {\LT@entry 
    {1}{82.51714pt}\LT@entry 
    {1}{30.45663pt}\LT@entry 
    {1}{154.48697pt}}
\gdef \LT@iii {\LT@entry 
    {1}{20.63945pt}\LT@entry 
    {1}{100.58446pt}\LT@entry 
    {1}{54.27406pt}}
\@input{Chapters/Chapter1.aux}
\citation{Brzozowski1964}
\abx@aux@cite{Brzozowski1964}
\abx@aux@segm{0}{0}{Brzozowski1964}
\abx@aux@page{1}{2}
\citation{Sulzmann2014}
\abx@aux@cite{Sulzmann2014}
\abx@aux@segm{0}{0}{Sulzmann2014}
\citation{AusafDyckhoffUrban2016}
\abx@aux@cite{AusafDyckhoffUrban2016}
\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
\citation{AusafDyckhoffUrban2016}
\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
\citation{Sulzmann2014}
\abx@aux@segm{0}{0}{Sulzmann2014}
\citation{Sulzmann2014}
\abx@aux@segm{0}{0}{Sulzmann2014}
\citation{Brzozowski1964}
\abx@aux@segm{0}{0}{Brzozowski1964}
\citation{Owens2008}
\abx@aux@cite{Owens2008}
\abx@aux@segm{0}{0}{Owens2008}
\citation{Krauss2011}
\abx@aux@cite{Krauss2011}
\abx@aux@segm{0}{0}{Krauss2011}
\citation{Coquand2012}
\abx@aux@cite{Coquand2012}
\abx@aux@segm{0}{0}{Coquand2012}
\citation{RibeiroAgda2017}
\abx@aux@cite{RibeiroAgda2017}
\abx@aux@segm{0}{0}{RibeiroAgda2017}
\abx@aux@page{2}{5}
\abx@aux@page{3}{5}
\abx@aux@page{4}{5}
\abx@aux@page{5}{5}
\abx@aux@page{6}{5}
\citation{Reference1}
\abx@aux@cite{Reference1}
\abx@aux@segm{0}{0}{Reference1}
\citation{Reference2}
\abx@aux@cite{Reference2}
\abx@aux@segm{0}{0}{Reference2}
\citation{Reference1}
\abx@aux@segm{0}{0}{Reference1}
\citation{Reference3}
\abx@aux@cite{Reference3}
\abx@aux@segm{0}{0}{Reference3}
\@input{Chapters/Chapter2.aux}
\@input{Chapters/Chapter3.aux}
\@input{Appendices/AppendixA.aux}
\abx@aux@refcontextdefaultsdone
\abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global}
\abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global}
\abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global}
\abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global}
\abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{19}{appendix*.55}}
\abx@aux@page{7}{19}
\abx@aux@page{8}{19}
\abx@aux@page{9}{19}
\abx@aux@page{10}{19}
\abx@aux@page{11}{19}
