Skip to content

Commit

Permalink
deploy: d8e7d83
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jan 31, 2025
1 parent ea5e233 commit 16ecf80
Show file tree
Hide file tree
Showing 1,831 changed files with 39,723 additions and 39,785 deletions.
16 changes: 8 additions & 8 deletions abbes-2006.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
<fr:month>1</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>15301</fr:anchor>
<fr:anchor>15290</fr:anchor>
<fr:addr type="user">abbes-2006</fr:addr>
<fr:route>abbes-2006.xml</fr:route>
<fr:title text="A Cartesian closed category of event structures with quotients">A Cartesian closed category of <fr:link href="jms-00BN.xml" title="Event structure" addr="jms-00BN" type="local">event structures</fr:link> with quotients</fr:title>
Expand All @@ -26,21 +26,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>15294</fr:anchor>
<fr:anchor>15283</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>15295</fr:anchor>
<fr:anchor>15284</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>15297</fr:anchor>
<fr:anchor>15286</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -56,7 +56,7 @@
<fr:month>10</fr:month>
<fr:day>26</fr:day>
</fr:date>
<fr:anchor>15296</fr:anchor>
<fr:anchor>15285</fr:anchor>
<fr:addr type="user">jms-00BT</fr:addr>
<fr:route>jms-00BT.xml</fr:route>
<fr:title text="Event structures and prime algebraic domains"><fr:link href="jms-00BN.xml" title="Event structure" addr="jms-00BN" type="local">Event structures</fr:link> and prime algebraic domains</fr:title>
Expand All @@ -69,7 +69,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>15299</fr:anchor>
<fr:anchor>15288</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -85,7 +85,7 @@
<fr:month>10</fr:month>
<fr:day>26</fr:day>
</fr:date>
<fr:anchor>15298</fr:anchor>
<fr:anchor>15287</fr:anchor>
<fr:addr type="user">jms-00BN</fr:addr>
<fr:route>jms-00BN.xml</fr:route>
<fr:title text="Event structure">Event structure</fr:title>
Expand All @@ -106,7 +106,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>15300</fr:anchor>
<fr:anchor>15289</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>7146</fr:anchor>
<fr:anchor>7125</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>7147</fr:anchor>
<fr:anchor>7126</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>7634</fr:anchor>
<fr:anchor>7616</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>7628</fr:anchor>
<fr:anchor>7610</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>7629</fr:anchor>
<fr:anchor>7611</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>7630</fr:anchor>
<fr:anchor>7612</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>7632</fr:anchor>
<fr:anchor>7614</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>7631</fr:anchor>
<fr:anchor>7613</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>7633</fr:anchor>
<fr:anchor>7615</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
16 changes: 8 additions & 8 deletions achimjung.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>28998</fr:anchor>
<fr:anchor>28978</fr:anchor>
<fr:addr type="user">achimjung</fr:addr>
<fr:route>achimjung.xml</fr:route>
<fr:title text="Achim Jung">Achim Jung</fr:title>
Expand All @@ -16,35 +16,35 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>28991</fr:anchor>
<fr:anchor>28971</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>28992</fr:anchor>
<fr:anchor>28972</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>28993</fr:anchor>
<fr:anchor>28973</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>28994</fr:anchor>
<fr:anchor>28974</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>28997</fr:anchor>
<fr:anchor>28977</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -64,7 +64,7 @@
<fr:month>10</fr:month>
<fr:day>22</fr:day>
</fr:date>
<fr:anchor>28995</fr:anchor>
<fr:anchor>28975</fr:anchor>
<fr:addr type="user">jung-moshier-vickers-2008</fr:addr>
<fr:route>jung-moshier-vickers-2008.xml</fr:route>
<fr:title text="Presenting dcpos and dcpo algebras">Presenting dcpos and dcpo algebras</fr:title>
Expand Down Expand Up @@ -100,7 +100,7 @@
<fr:month>1</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>28996</fr:anchor>
<fr:anchor>28976</fr:anchor>
<fr:addr type="user">jung-tiuryn-1993</fr:addr>
<fr:route>jung-tiuryn-1993.xml</fr:route>
<fr:title text="A new characterization of lambda definability">A new characterization of lambda definability</fr:title>
Expand Down
20 changes: 10 additions & 10 deletions acmz-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
<fr:month>1</fr:month>
<fr:day>4</fr:day>
</fr:date>
<fr:anchor>25356</fr:anchor>
<fr:anchor>25355</fr:anchor>
<fr:addr type="user">acmz-2021</fr:addr>
<fr:route>acmz-2021.xml</fr:route>
<fr:title text="Internalizing representation independence with univalence">Internalizing representation independence with univalence</fr:title>
Expand Down Expand Up @@ -50,21 +50,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>25349</fr:anchor>
<fr:anchor>25348</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>25350</fr:anchor>
<fr:anchor>25349</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>25352</fr:anchor>
<fr:anchor>25351</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -80,7 +80,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>25351</fr:anchor>
<fr:anchor>25350</fr:anchor>
<fr:addr type="user">jms-000R</fr:addr>
<fr:route>jms-000R.xml</fr:route>
<fr:title text="Background on homotopy and cubical type theory">Background on homotopy and cubical type theory</fr:title>
Expand All @@ -97,7 +97,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7146</fr:anchor>
<fr:anchor>7125</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>7147</fr:anchor>
<fr:anchor>7126</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 All @@ -132,14 +132,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>25354</fr:anchor>
<fr:anchor>25353</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>25353</fr:anchor>
<fr:anchor>25352</fr:anchor>
<fr:addr type="user">pacmpl</fr:addr>
<fr:route>pacmpl.xml</fr:route>
<fr:title text="Proceedings of the ACM on Programming Languages">Proceedings of the ACM on Programming Languages</fr:title>
Expand All @@ -154,7 +154,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>25355</fr:anchor>
<fr:anchor>25354</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
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>19759</fr:anchor>
<fr:anchor>19766</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>19753</fr:anchor>
<fr:anchor>19760</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>19754</fr:anchor>
<fr:anchor>19761</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>19756</fr:anchor>
<fr:anchor>19763</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>19755</fr:anchor>
<fr:anchor>19762</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>19757</fr:anchor>
<fr:anchor>19764</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>19758</fr:anchor>
<fr:anchor>19765</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
Loading

0 comments on commit 16ecf80

Please sign in to comment.