Skip to content

Commit

Permalink
deploy: ba163eb
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jan 24, 2025
1 parent 951f14a commit 6904afa
Show file tree
Hide file tree
Showing 1,635 changed files with 36,576 additions and 36,576 deletions.
16 changes: 8 additions & 8 deletions aagaard-sterling-birkedal-2023.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
<fr:month>11</fr:month>
<fr:day>23</fr:day>
</fr:date>
<fr:anchor>12507</fr:anchor>
<fr:anchor>12497</fr:anchor>
<fr:addr type="user">aagaard-sterling-birkedal-2023</fr:addr>
<fr:route>aagaard-sterling-birkedal-2023.xml</fr:route>
<fr:title text="A denotationally-based program logic for higher-order store">A denotationally-based program logic for higher-order store</fr:title>
Expand All @@ -32,7 +32,7 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12501</fr:anchor>
<fr:anchor>12491</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -54,7 +54,7 @@
<fr:month>10</fr:month>
<fr:day>6</fr:day>
</fr:date>
<fr:anchor>12500</fr:anchor>
<fr:anchor>12490</fr:anchor>
<fr:addr type="user">sterling-gratzer-birkedal-2022</fr:addr>
<fr:route>sterling-gratzer-birkedal-2022.xml</fr:route>
<fr:title text="Denotational semantics of general store and polymorphism">Denotational semantics of general store and polymorphism</fr:title>
Expand All @@ -76,14 +76,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12502</fr:anchor>
<fr:anchor>12492</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12504</fr:anchor>
<fr:anchor>12494</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -99,7 +99,7 @@
<fr:month>8</fr:month>
<fr:day>15</fr:day>
</fr:date>
<fr:anchor>12503</fr:anchor>
<fr:anchor>12493</fr:anchor>
<fr:addr type="user">jms-0079</fr:addr>
<fr:route>jms-0079.xml</fr:route>
<fr:title text="Equational higher-order separation logic for higher-order store">Equational higher-order separation logic for higher-order store</fr:title>
Expand All @@ -112,14 +112,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12505</fr:anchor>
<fr:anchor>12495</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12506</fr:anchor>
<fr:anchor>12496</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
4 changes: 2 additions & 2 deletions abchfl-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7109</fr:anchor>
<fr:anchor>7115</fr:anchor>
<fr:addr type="user">jms-000S</fr:addr>
<fr:route>jms-000S.xml</fr:route>
<fr:title text="Cubical canonicity">Cubical canonicity</fr:title>
Expand All @@ -104,7 +104,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7110</fr:anchor>
<fr:anchor>7116</fr:anchor>
<fr:addr type="user">jms-000T</fr:addr>
<fr:route>jms-000T.xml</fr:route>
<fr:title text="Decidability of cubical type theory">Decidability of cubical type theory</fr:title>
Expand Down
14 changes: 7 additions & 7 deletions abigailpribisova.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
<fr:tree xmlns:fr="http://www.jonmsterling.com/jms-005P.xml" root="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>7745</fr:anchor>
<fr:anchor>7734</fr:anchor>
<fr:addr type="user">abigailpribisova</fr:addr>
<fr:route>abigailpribisova.xml</fr:route>
<fr:title text="Abigail Pribisova">Abigail Pribisova</fr:title>
Expand All @@ -16,35 +16,35 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>7739</fr:anchor>
<fr:anchor>7728</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>7740</fr:anchor>
<fr:anchor>7729</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>7741</fr:anchor>
<fr:anchor>7730</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>7743</fr:anchor>
<fr:anchor>7732</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter>
<fr:tree show-metadata="true" expanded="false" toc="false" numbered="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>7742</fr:anchor>
<fr:anchor>7731</fr:anchor>
<fr:addr type="user">ucam</fr:addr>
<fr:route>ucam.xml</fr:route>
<fr:title text="University of Cambridge">University of Cambridge</fr:title>
Expand All @@ -57,7 +57,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>7744</fr:anchor>
<fr:anchor>7733</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
4 changes: 2 additions & 2 deletions acmz-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7109</fr:anchor>
<fr:anchor>7115</fr:anchor>
<fr:addr type="user">jms-000S</fr:addr>
<fr:route>jms-000S.xml</fr:route>
<fr:title text="Cubical canonicity">Cubical canonicity</fr:title>
Expand All @@ -115,7 +115,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7110</fr:anchor>
<fr:anchor>7116</fr:anchor>
<fr:addr type="user">jms-000T</fr:addr>
<fr:route>jms-000T.xml</fr:route>
<fr:title text="Decidability of cubical type theory">Decidability of cubical type theory</fr:title>
Expand Down
14 changes: 7 additions & 7 deletions act-2022.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<fr:year>2022</fr:year>
<fr:month>7</fr:month>
</fr:date>
<fr:anchor>19870</fr:anchor>
<fr:anchor>19889</fr:anchor>
<fr:addr type="user">act-2022</fr:addr>
<fr:route>act-2022.xml</fr:route>
<fr:title text="ACT ’22: International Conference on Applied Category Theory"><fr:em>ACT ’22</fr:em>: International Conference on Applied Category Theory</fr:title>
Expand All @@ -20,21 +20,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19864</fr:anchor>
<fr:anchor>19883</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19865</fr:anchor>
<fr:anchor>19884</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19867</fr:anchor>
<fr:anchor>19886</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -50,7 +50,7 @@
<fr:month>10</fr:month>
<fr:day>12</fr:day>
</fr:date>
<fr:anchor>19866</fr:anchor>
<fr:anchor>19885</fr:anchor>
<fr:addr type="user">jms-00AF</fr:addr>
<fr:route>jms-00AF.xml</fr:route>
<fr:title text="Conference program committees">Conference program committees</fr:title>
Expand All @@ -66,14 +66,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19868</fr:anchor>
<fr:anchor>19887</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19869</fr:anchor>
<fr:anchor>19888</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
38 changes: 19 additions & 19 deletions ahmed-2004.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10660</fr:anchor>
<fr:anchor>10647</fr:anchor>
<fr:addr type="machine">unstable/957</fr:addr>
<fr:route>unstable-957.xml</fr:route>
<fr:title text="Side effects in programming languages">Side effects in programming languages</fr:title>
Expand Down Expand Up @@ -146,7 +146,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10661</fr:anchor>
<fr:anchor>10648</fr:anchor>
<fr:addr type="machine">unstable/958</fr:addr>
<fr:route>unstable-958.xml</fr:route>
<fr:title text="State as a side effect">State as a side effect</fr:title>
Expand Down Expand Up @@ -186,7 +186,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10662</fr:anchor>
<fr:anchor>10649</fr:anchor>
<fr:addr type="machine">unstable/959</fr:addr>
<fr:route>unstable-959.xml</fr:route>
<fr:title text="First-order dynamic allocation">First-order dynamic allocation</fr:title>
Expand Down Expand Up @@ -235,7 +235,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10663</fr:anchor>
<fr:anchor>10650</fr:anchor>
<fr:addr type="machine">unstable/960</fr:addr>
<fr:route>unstable-960.xml</fr:route>
<fr:title text="Higher-order dynamic allocation">Higher-order dynamic allocation</fr:title>
Expand Down Expand Up @@ -276,7 +276,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10664</fr:anchor>
<fr:anchor>10651</fr:anchor>
<fr:addr type="machine">unstable/961</fr:addr>
<fr:route>unstable-961.xml</fr:route>
<fr:title text="Guarded higher-order dynamic allocation">Guarded higher-order dynamic allocation</fr:title>
Expand Down Expand Up @@ -351,7 +351,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10665</fr:anchor>
<fr:anchor>10652</fr:anchor>
<fr:addr type="machine">unstable/962</fr:addr>
<fr:route>unstable-962.xml</fr:route>
<fr:title text="Representation independence in the heap">Representation independence in the heap</fr:title>
Expand Down Expand Up @@ -452,7 +452,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10666</fr:anchor>
<fr:anchor>10653</fr:anchor>
<fr:addr type="machine">unstable/963</fr:addr>
<fr:route>unstable-963.xml</fr:route>
<fr:title text="Representation independence in the heap (II)">Representation independence in the heap (II)</fr:title>
Expand Down Expand Up @@ -493,7 +493,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10667</fr:anchor>
<fr:anchor>10654</fr:anchor>
<fr:addr type="machine">unstable/964</fr:addr>
<fr:route>unstable-964.xml</fr:route>
<fr:title text="Univalent reference types">Univalent reference types</fr:title>
Expand Down Expand Up @@ -572,7 +572,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10669</fr:anchor>
<fr:anchor>10656</fr:anchor>
<fr:addr type="machine">unstable/965</fr:addr>
<fr:route>unstable-965.xml</fr:route>
<fr:title text="Representation independence in the heap (III)">Representation independence in the heap (III)</fr:title>
Expand All @@ -581,7 +581,7 @@
<fr:mainmatter><fr:p>The theory of univalent reference types derives <fr:tex display="inline"><![CDATA[\vdash \mathsf {posCounter} \equiv \mathsf {negCounter}]]></fr:tex>.</fr:p><beamer:pause xmlns:beamer="http://ctan.org/pkg/beamer" />


<fr:tree show-metadata="false" toc="false"><fr:frontmatter><fr:authors><fr:author><fr:link href="jonmsterling.xml" title="Jon Sterling" addr="jonmsterling" type="local">Jon Sterling</fr:link></fr:author><fr:author><fr:link href="danielgratzer.xml" title="Daniel Gratzer" addr="danielgratzer" type="local">Daniel Gratzer</fr:link></fr:author><fr:author><fr:link href="larsbirkedal.xml" title="Lars Birkedal" addr="larsbirkedal" type="local">Lars Birkedal</fr:link></fr:author></fr:authors><fr:date><fr:year>2024</fr:year><fr:month>2</fr:month><fr:day>10</fr:day></fr:date><fr:anchor>10668</fr:anchor><fr:addr type="machine">unstable/966</fr:addr><fr:route>unstable-966.xml</fr:route><fr:title text="" /><fr:taxon>Proof</fr:taxon></fr:frontmatter><fr:mainmatter>
<fr:tree show-metadata="false" toc="false"><fr:frontmatter><fr:authors><fr:author><fr:link href="jonmsterling.xml" title="Jon Sterling" addr="jonmsterling" type="local">Jon Sterling</fr:link></fr:author><fr:author><fr:link href="danielgratzer.xml" title="Daniel Gratzer" addr="danielgratzer" type="local">Daniel Gratzer</fr:link></fr:author><fr:author><fr:link href="larsbirkedal.xml" title="Lars Birkedal" addr="larsbirkedal" type="local">Lars Birkedal</fr:link></fr:author></fr:authors><fr:date><fr:year>2024</fr:year><fr:month>2</fr:month><fr:day>10</fr:day></fr:date><fr:anchor>10655</fr:anchor><fr:addr type="machine">unstable/966</fr:addr><fr:route>unstable-966.xml</fr:route><fr:title text="" /><fr:taxon>Proof</fr:taxon></fr:frontmatter><fr:mainmatter>
<fr:p>The function <fr:tex display="inline"><![CDATA[\mathsf {neg} \colon \mathsf {Integer}\to \mathsf {Integer}]]></fr:tex> is inverse to itself; therefore, apply <fr:strong>CELL UNIVALENCE</fr:strong> with <fr:tex display="inline"><![CDATA[f^+ \equiv f^- \equiv \mathsf {neg}]]></fr:tex> and simplify.</fr:p>
</fr:mainmatter></fr:tree>

Expand All @@ -605,7 +605,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10670</fr:anchor>
<fr:anchor>10657</fr:anchor>
<fr:addr type="machine">unstable/967</fr:addr>
<fr:route>unstable-967.xml</fr:route>
<fr:title text="Can we find a reasonable model of this theory???">Can we find a reasonable model of this theory???</fr:title>
Expand Down Expand Up @@ -633,7 +633,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10671</fr:anchor>
<fr:anchor>10658</fr:anchor>
<fr:addr type="machine">unstable/968</fr:addr>
<fr:route>unstable-968.xml</fr:route>
<fr:title text="Models of guarded higher order dynamic allocation">Models of guarded higher order dynamic allocation</fr:title>
Expand Down Expand Up @@ -708,7 +708,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10672</fr:anchor>
<fr:anchor>10659</fr:anchor>
<fr:addr type="machine">unstable/969</fr:addr>
<fr:route>unstable-969.xml</fr:route>
<fr:title text="Models of univalent reference types">Models of univalent reference types</fr:title>
Expand Down Expand Up @@ -739,7 +739,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10673</fr:anchor>
<fr:anchor>10660</fr:anchor>
<fr:addr type="machine">unstable/970</fr:addr>
<fr:route>unstable-970.xml</fr:route>
<fr:title text="Impredicative Guarded Homotopy Type Theory">Impredicative Guarded Homotopy Type Theory</fr:title>
Expand Down Expand Up @@ -772,7 +772,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10674</fr:anchor>
<fr:anchor>10661</fr:anchor>
<fr:addr type="machine">unstable/971</fr:addr>
<fr:route>unstable-971.xml</fr:route>
<fr:title text="Models of iGDTT">Models of <fr:strong>iGDTT</fr:strong></fr:title>
Expand Down Expand Up @@ -803,7 +803,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10675</fr:anchor>
<fr:anchor>10662</fr:anchor>
<fr:addr type="machine">unstable/972</fr:addr>
<fr:route>unstable-972.xml</fr:route>
<fr:title text="Towards models of iGHoTT">Towards models of <fr:strong>iGHoTT</fr:strong></fr:title>
Expand Down Expand Up @@ -836,7 +836,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10676</fr:anchor>
<fr:anchor>10663</fr:anchor>
<fr:addr type="machine">unstable/973</fr:addr>
<fr:route>unstable-973.xml</fr:route>
<fr:title text="A more canonical model of iGHoTT?">A more canonical model of <fr:strong>iGHoTT</fr:strong>?</fr:title>
Expand Down Expand Up @@ -866,7 +866,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10677</fr:anchor>
<fr:anchor>10664</fr:anchor>
<fr:addr type="machine">unstable/974</fr:addr>
<fr:route>unstable-974.xml</fr:route>
<fr:title text="Comparing with other realisability models of state">Comparing with other realisability models of state</fr:title>
Expand Down Expand Up @@ -896,7 +896,7 @@
<fr:month>2</fr:month>
<fr:day>10</fr:day>
</fr:date>
<fr:anchor>10678</fr:anchor>
<fr:anchor>10665</fr:anchor>
<fr:addr type="machine">unstable/975</fr:addr>
<fr:route>unstable-975.xml</fr:route>
<fr:title text="" />
Expand Down
Loading

0 comments on commit 6904afa

Please sign in to comment.