49 lines
1.5 KiB
Plaintext
49 lines
1.5 KiB
Plaintext
% $ biblatex auxiliary file $
|
|
% $ biblatex bbl format version 3.3 $
|
|
% Do not modify the above lines!
|
|
%
|
|
% This is an auxiliary file used by the 'biblatex' package.
|
|
% This file may safely be deleted. It will be recreated by
|
|
% biber as required.
|
|
%
|
|
\begingroup
|
|
\makeatletter
|
|
\@ifundefined{ver@biblatex.sty}
|
|
{\@latex@error
|
|
{Missing 'biblatex' package}
|
|
{The bibliography requires the 'biblatex' package.}
|
|
\aftergroup\endinput}
|
|
{}
|
|
\endgroup
|
|
|
|
|
|
\refsection{0}
|
|
\datalist[entry]{nty/global//global/global/global}
|
|
\entry{angiuli2022canonicity}{article}{}{}
|
|
\name{author}{1}{}{%
|
|
{{hash=ab4a713b0ee991d87b0eeda400ad210a}{%
|
|
family={Angiuli},
|
|
familyi={A\bibinitperiod},
|
|
given={Carlo},
|
|
giveni={C\bibinitperiod}}}%
|
|
}
|
|
\strng{namehash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{fullhash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{fullhashraw}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{bibnamehash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{authorbibnamehash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{authornamehash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{authorfullhash}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\strng{authorfullhashraw}{ab4a713b0ee991d87b0eeda400ad210a}
|
|
\field{sortinit}{A}
|
|
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
|
|
\field{labelnamesource}{author}
|
|
\field{labeltitlesource}{title}
|
|
\field{title}{Canonicity for simple types via gluing}
|
|
\field{year}{2022}
|
|
\endentry
|
|
\enddatalist
|
|
\endrefsection
|
|
\endinput
|
|
|