Skip to content

Commit

Permalink
deploy: 936ccc8
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Feb 12, 2025
1 parent 1e42385 commit 81d1eaa
Show file tree
Hide file tree
Showing 2,309 changed files with 204,361 additions and 172,004 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>12625</fr:anchor>
<fr:anchor>12833</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>12619</fr:anchor>
<fr:anchor>12827</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>12618</fr:anchor>
<fr:anchor>12826</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>12620</fr:anchor>
<fr:anchor>12828</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>12622</fr:anchor>
<fr:anchor>12830</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>12621</fr:anchor>
<fr:anchor>12829</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>12623</fr:anchor>
<fr:anchor>12831</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>12624</fr:anchor>
<fr:anchor>12832</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
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>15570</fr:anchor>
<fr:anchor>15815</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>15563</fr:anchor>
<fr:anchor>15808</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>15564</fr:anchor>
<fr:anchor>15809</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>15566</fr:anchor>
<fr:anchor>15811</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>15565</fr:anchor>
<fr:anchor>15810</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>15568</fr:anchor>
<fr:anchor>15813</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>15567</fr:anchor>
<fr:anchor>15812</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>15569</fr:anchor>
<fr:anchor>15814</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
18 changes: 9 additions & 9 deletions abchfl-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
<fr:month>4</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>18087</fr:anchor>
<fr:anchor>18351</fr:anchor>
<fr:addr type="user">abchfl-2021</fr:addr>
<fr:route>abchfl-2021.xml</fr:route>
<fr:title text="Syntax and models of Cartesian cubical type theory">Syntax and models of Cartesian cubical type theory</fr:title>
Expand All @@ -39,21 +39,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>18081</fr:anchor>
<fr:anchor>18345</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>18082</fr:anchor>
<fr:anchor>18346</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>18084</fr:anchor>
<fr:anchor>18348</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -69,7 +69,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>18083</fr:anchor>
<fr:anchor>18347</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 @@ -86,7 +86,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>7217</fr:anchor>
<fr:anchor>7191</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>7218</fr:anchor>
<fr:anchor>7192</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 @@ -121,14 +121,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>18085</fr:anchor>
<fr:anchor>18349</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>18086</fr:anchor>
<fr:anchor>18350</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
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>7760</fr:anchor>
<fr:anchor>7719</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>7754</fr:anchor>
<fr:anchor>7713</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>7755</fr:anchor>
<fr:anchor>7714</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>7756</fr:anchor>
<fr:anchor>7715</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>7758</fr:anchor>
<fr:anchor>7717</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>7757</fr:anchor>
<fr:anchor>7716</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>7759</fr:anchor>
<fr:anchor>7718</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>29607</fr:anchor>
<fr:anchor>29886</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>29600</fr:anchor>
<fr:anchor>29879</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>29601</fr:anchor>
<fr:anchor>29880</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>29602</fr:anchor>
<fr:anchor>29881</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>29603</fr:anchor>
<fr:anchor>29882</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>29606</fr:anchor>
<fr:anchor>29885</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>29604</fr:anchor>
<fr:anchor>29883</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>29605</fr:anchor>
<fr:anchor>29884</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
Loading

0 comments on commit 81d1eaa

Please sign in to comment.