deploy: 99cf303

abbes-2006.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18698</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18699</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
 type="local"
@@ -40,7 +40,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18700</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18701</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
 type="local"
@@ -73,7 +73,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18702</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18703</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><fr:taxon>Definition</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"

abchfl-2021.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17993</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17994</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2021</fr:year><fr:month>4</fr:month><fr:day>1</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -48,7 +48,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18000</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18001</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><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -110,7 +110,7 @@ show-heading="true"
 show-metadata="false"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16336</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16337</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>For any closed term <fr:tex
 display="inline"><![CDATA[\cdot \vdash  N:\mathsf {nat}]]></fr:tex> of cubical type theory, there exists a unique natural number <fr:tex
@@ -124,7 +124,7 @@ show-heading="true"
 show-metadata="false"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16337</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16338</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>The assertions <fr:tex
 display="inline"><![CDATA[\Gamma \vdash  {A}\ \textit {type}]]></fr:tex>, <fr:tex

abigailpribisova.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19197</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19198</fr:anchor><fr:addr
 type="user">abigailpribisova</fr:addr><fr:route>abigailpribisova.xml</fr:route><fr:title
 text="Abigail Pribisova">Abigail Pribisova</fr:title><fr:authors /><fr:meta
 name="position">MPhil Student</fr:meta><fr:meta
@@ -30,7 +30,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19198</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19199</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><fr:taxon>Institution</fr:taxon><fr:authors /><fr:meta
 name="external">https://www.cam.ac.uk/</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>

acmz-2021.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18014</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18015</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2021</fr:year><fr:month>1</fr:month><fr:day>4</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -52,7 +52,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18019</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18020</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><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -114,7 +114,7 @@ show-heading="true"
 show-metadata="false"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16336</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16337</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>For any closed term <fr:tex
 display="inline"><![CDATA[\cdot \vdash  N:\mathsf {nat}]]></fr:tex> of cubical type theory, there exists a unique natural number <fr:tex
@@ -128,7 +128,7 @@ show-heading="true"
 show-metadata="false"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16337</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16338</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>The assertions <fr:tex
 display="inline"><![CDATA[\Gamma \vdash  {A}\ \textit {type}]]></fr:tex>, <fr:tex
@@ -165,7 +165,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18021</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18022</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><fr:taxon>Journal</fr:taxon><fr:authors /><fr:meta
 name="external">https://dl.acm.org/journal/pacmpl</fr:meta></fr:frontmatter><fr:mainmatter><fr:p><fr:em>Proceedings of the ACM on Programming Languages</fr:em> (PACMPL) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers. All accepted papers receive two rounds of reviewing and authors can expect initial decisions regarding submissions in under 3 months. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.</fr:p></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>

act-2022.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17582</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17583</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><fr:taxon>Conference</fr:taxon><fr:date><fr:year>2022</fr:year><fr:month>7</fr:month></fr:date><fr:authors /><fr:meta
 name="external">https://msp.cis.strath.ac.uk/act2022/</fr:meta></fr:frontmatter><fr:mainmatter><fr:p><fr:link
@@ -27,7 +27,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17583</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17584</fr:anchor><fr:addr
 type="user">jms-00AF</fr:addr><fr:route>jms-00AF.xml</fr:route><fr:title
 text="Jon Sterling › conference program committees"><fr:link
 type="local"

adrienguatto.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19199</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19200</fr:anchor><fr:addr
 type="user">adrienguatto</fr:addr><fr:route>adrienguatto.xml</fr:route><fr:title
 text="Adrien Guatto">Adrien Guatto</fr:title><fr:taxon>Person</fr:taxon><fr:authors /><fr:meta
 name="position">Maître de conférences</fr:meta><fr:meta
@@ -31,7 +31,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19200</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19201</fr:anchor><fr:addr
 type="user">jms-00CW</fr:addr><fr:route>jms-00CW.xml</fr:route><fr:title
 text="Forester 3.0">Forester 3.0</fr:title><fr:taxon>Release</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>11</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -333,7 +333,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19206</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19207</fr:anchor><fr:addr
 type="user">farzadjafarrahmani</fr:addr><fr:route>farzadjafarrahmani.xml</fr:route><fr:title
 text="Farzad Jafarrahmani">Farzad Jafarrahmani</fr:title><fr:taxon>Person</fr:taxon><fr:authors /><fr:meta
 name="institution"><fr:link
@@ -364,7 +364,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19207</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19208</fr:anchor><fr:addr
 type="user">irif</fr:addr><fr:route>irif.xml</fr:route><fr:title
 text="IRIF">IRIF</fr:title><fr:taxon>Institution</fr:taxon><fr:authors /><fr:meta
 name="external">https://www.irif.fr/</fr:meta></fr:frontmatter><fr:mainmatter><fr:p>Institut de Recherche en Informatique Fondamentale</fr:p></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree><fr:tree
@@ -382,7 +382,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19208</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19209</fr:anchor><fr:addr
 type="user">guatto-2018</fr:addr><fr:route>guatto-2018.xml</fr:route><fr:title
 text="A generalized modality for recursion">A generalized modality for recursion</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2018</fr:year></fr:date><fr:authors><fr:author><fr:link
 type="local"

afosr.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24639</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24640</fr:anchor><fr:addr
 type="user">afosr</fr:addr><fr:route>afosr.xml</fr:route><fr:title
 text="United States Air Force Office of Scientific Research">United States Air Force Office of Scientific Research</fr:title><fr:taxon>Institution</fr:taxon><fr:authors /></fr:frontmatter><fr:mainmatter /><fr:backmatter><fr:tree
 toc="false"
@@ -24,7 +24,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24640</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24641</fr:anchor><fr:addr
 type="user">jms-008K</fr:addr><fr:route>jms-008K.xml</fr:route><fr:title
 text="New Spaces for Denotational Semantics">New Spaces for Denotational Semantics</fr:title><fr:taxon>Grant</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>9</fr:month></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -142,7 +142,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24642</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24643</fr:anchor><fr:addr
 type="user">jms-006C</fr:addr><fr:route>jms-006C.xml</fr:route><fr:title
 text="Session types and phase distinctions for noninterference">Session types and phase distinctions for noninterference</fr:title><fr:taxon>Grant</fr:taxon><fr:date><fr:year>2021</fr:year></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -248,7 +248,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24646</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>24647</fr:anchor><fr:addr
 type="user">tristannguyen</fr:addr><fr:route>tristannguyen.xml</fr:route><fr:title
 text="Tristan Nguyen">Tristan Nguyen</fr:title><fr:taxon>Person</fr:taxon><fr:authors /><fr:meta
 name="institution"><fr:link

ahmed-2004.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18736</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18737</fr:anchor><fr:addr
 type="user">ahmed-2004</fr:addr><fr:route>ahmed-2004.xml</fr:route><fr:title
 text="Semantics of Types for Mutable State">Semantics of Types for Mutable State</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2004</fr:year><fr:month>11</fr:month></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -37,7 +37,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18738</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18739</fr:anchor><fr:addr
 type="user">jms-00OI</fr:addr><fr:route>jms-00OI.xml</fr:route><fr:title
 text="Towards univalent reference types"><fr:em><fr:link
 type="local"

ahrens-kapulkin-shulman-2015.xml

@@ -7,7 +7,7 @@ show-heading="true"
 show-metadata="true"
 expanded="true"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18480</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18481</fr:anchor><fr:addr
 type="user">ahrens-kapulkin-shulman-2015</fr:addr><fr:route>ahrens-kapulkin-shulman-2015.xml</fr:route><fr:title
 text="Univalent categories and the Rezk completion">Univalent categories and the Rezk completion</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2015</fr:year></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -53,7 +53,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18484</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18485</fr:anchor><fr:addr
 type="user">erct-000E</fr:addr><fr:route>erct-000E.xml</fr:route><fr:title
 text="Categories">Categories</fr:title><fr:date><fr:year>2023</fr:year><fr:month>12</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
 type="local"
@@ -588,7 +588,7 @@ show-heading="true"
 show-metadata="true"
 expanded="false"
 root="false"
-xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18486</fr:anchor><fr:addr
+xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18487</fr:anchor><fr:addr
 type="user">mscs</fr:addr><fr:route>mscs.xml</fr:route><fr:title
 text="Mathematical Structures in Computer Science">Mathematical Structures in Computer Science</fr:title><fr:taxon>Journal</fr:taxon><fr:authors /><fr:meta
 name="external">https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>