Skip to content

Commit

Permalink
deploy: 432b845
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Nov 17, 2024
1 parent 3605143 commit abc59e3
Show file tree
Hide file tree
Showing 1,580 changed files with 40,151 additions and 40,151 deletions.
16 changes: 8 additions & 8 deletions abbes-2006.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ root="false"><fr:frontmatter><fr:authors><fr:author><fr:link
href="samyabbes.xml"
title="Samy Abbes"
addr="samyabbes"
type="local">Samy Abbes</fr:link></fr:author></fr:authors><fr:date><fr:year>2006</fr:year><fr:month>1</fr:month><fr:day>1</fr:day></fr:date><fr:anchor>15483</fr:anchor><fr:addr
type="local">Samy Abbes</fr:link></fr:author></fr:authors><fr:date><fr:year>2006</fr:year><fr:month>1</fr:month><fr:day>1</fr:day></fr:date><fr:anchor>15492</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"
Expand All @@ -22,13 +22,13 @@ type="local">event structures</fr:link>. The category obtained is cartesian clos
display="inline"><![CDATA[E]]></fr:tex> is a minimal event structure with the same space of maximal configurations as <fr:tex
display="inline"><![CDATA[E]]></fr:tex>.</fr:p></fr:mainmatter><fr:backmatter><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15476</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15485</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>15477</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15486</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>15479</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15488</fr:anchor><fr:title
text="Backlinks">Backlinks</fr:title></fr:frontmatter><fr:mainmatter><fr:tree
show-metadata="true"
expanded="false"
Expand All @@ -37,7 +37,7 @@ numbered="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:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:anchor>15478</fr:anchor><fr:addr
type="local">Jon Sterling</fr:link></fr:author></fr:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:anchor>15487</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"
Expand All @@ -53,7 +53,7 @@ title="A Cartesian closed category of event structures with quotients"
addr="abbes-2006"
type="local">paper of Abbes</fr:link>.</fr:p></fr:mainmatter></fr:tree></fr:mainmatter></fr:tree><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15481</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15490</fr:anchor><fr:title
text="Related">Related</fr:title></fr:frontmatter><fr:mainmatter><fr:tree
show-metadata="true"
expanded="false"
Expand All @@ -62,7 +62,7 @@ numbered="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:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:anchor>15480</fr:anchor><fr:addr
type="local">Jon Sterling</fr:link></fr:author></fr:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:anchor>15489</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:meta
name="source"><fr:link
Expand All @@ -84,5 +84,5 @@ display="inline"><![CDATA[e\leq e']]></fr:tex> with <fr:tex
display="inline"><![CDATA[e'\in x]]></fr:tex>, we have <fr:tex
display="inline"><![CDATA[x\cup {\mathopen {}\left \{e\right \}\mathclose {}}\in \mathsf {Con}_{E}]]></fr:tex>.</fr:li></fr:ol></fr:mainmatter></fr:tree></fr:mainmatter></fr:tree><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15482</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>15491</fr:anchor><fr:title
text="Contributions">Contributions</fr:title></fr:frontmatter><fr:mainmatter /></fr:tree></fr:backmatter></fr:tree>
16 changes: 8 additions & 8 deletions achimjung.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,26 +2,26 @@
<?xml-stylesheet type="text/xsl" href="default.xsl"?>
<fr:tree
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"
root="false"><fr:frontmatter><fr:authors /><fr:anchor>28755</fr:anchor><fr:addr
root="false"><fr:frontmatter><fr:authors /><fr:anchor>28746</fr:anchor><fr:addr
type="user">achimjung</fr:addr><fr:route>achimjung.xml</fr:route><fr:title
text="Achim Jung">Achim Jung</fr:title><fr:taxon>Person</fr:taxon><fr:meta
name="institution">University of Birmingham</fr:meta><fr:meta
name="position">Emeritus Professor of Computer Science</fr:meta><fr:meta
name="external">https://www.cs.bham.ac.uk/~axj/</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28748</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28739</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>28749</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28740</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>28750</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28741</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>28751</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28742</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>28754</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>28745</fr:anchor><fr:title
text="Contributions">Contributions</fr:title></fr:frontmatter><fr:mainmatter><fr:tree
show-metadata="true"
expanded="false"
Expand All @@ -34,7 +34,7 @@ type="local">Achim Jung</fr:link></fr:author><fr:author>M. Andrew Moshier</fr:au
href="stevevickers.xml"
title="Steve Vickers"
addr="stevevickers"
type="local">Steve Vickers</fr:link></fr:author></fr:authors><fr:date><fr:year>2008</fr:year><fr:month>10</fr:month><fr:day>22</fr:day></fr:date><fr:anchor>28752</fr:anchor><fr:addr
type="local">Steve Vickers</fr:link></fr:author></fr:authors><fr:date><fr:year>2008</fr:year><fr:month>10</fr:month><fr:day>22</fr:day></fr:date><fr:anchor>28743</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><fr:taxon>Reference</fr:taxon><fr:meta
name="doi">10.1016/j.entcs.2008.10.013</fr:meta><fr:meta
Expand All @@ -57,7 +57,7 @@ numbered="false"><fr:frontmatter><fr:authors><fr:author><fr:link
href="achimjung.xml"
title="Achim Jung"
addr="achimjung"
type="local">Achim Jung</fr:link></fr:author><fr:author>Jerzy Tiuryn</fr:author></fr:authors><fr:date><fr:year>1993</fr:year><fr:month>1</fr:month><fr:day>1</fr:day></fr:date><fr:anchor>28753</fr:anchor><fr:addr
type="local">Achim Jung</fr:link></fr:author><fr:author>Jerzy Tiuryn</fr:author></fr:authors><fr:date><fr:year>1993</fr:year><fr:month>1</fr:month><fr:day>1</fr:day></fr:date><fr:anchor>28744</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><fr:taxon>Reference</fr:taxon><fr:meta
name="doi">10.1007/BFb0037110</fr:meta></fr:frontmatter><fr:mainmatter><fr:p>We give a new characterization of lambda definability in Henkin models using logical relations defined over ordered sets with varying arity. The advantage of this over earlier approaches by Plotkin and Statman is its simplicity and universality. Yet, decidability of lambda definability for hereditarily finite Henkin models remains an open problem. But if the variable set allowed in terms is also restricted to be finite then our techniques lead to a decision procedure.</fr:p></fr:mainmatter></fr:tree></fr:mainmatter></fr:tree></fr:backmatter></fr:tree>
14 changes: 7 additions & 7 deletions act-2022.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,20 +2,20 @@
<?xml-stylesheet type="text/xsl" href="default.xsl"?>
<fr:tree
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"
root="false"><fr:frontmatter><fr:authors /><fr:date><fr:year>2022</fr:year><fr:month>7</fr:month></fr:date><fr:anchor>19599</fr:anchor><fr:addr
root="false"><fr:frontmatter><fr:authors /><fr:date><fr:year>2022</fr:year><fr:month>7</fr:month></fr:date><fr:anchor>19607</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:meta
name="external">https://msp.cis.strath.ac.uk/act2022/</fr:meta></fr:frontmatter><fr:mainmatter><fr:p><fr:link
href="https://www.appliedcategorytheory.org/"
type="external">Applied category theory</fr:link> is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of Applied Category Theory is to bring researchers in the field together, disseminate the latest results, and facilitate further development of the field.</fr:p></fr:mainmatter><fr:backmatter><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19593</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19601</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>19594</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19602</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>19596</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19604</fr:anchor><fr:title
text="Backlinks">Backlinks</fr:title></fr:frontmatter><fr:mainmatter><fr:tree
show-metadata="true"
expanded="false"
Expand All @@ -24,7 +24,7 @@ numbered="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:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>12</fr:day></fr:date><fr:anchor>19595</fr:anchor><fr:addr
type="local">Jon Sterling</fr:link></fr:author></fr:authors><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>12</fr:day></fr:date><fr:anchor>19603</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></fr:frontmatter><fr:mainmatter><fr:ol><fr:li><fr:link
href="oopsla-2024-25.xml"
Expand All @@ -47,8 +47,8 @@ title="ACT ’22: International Conference on Applied Category Theory"
addr="act-2022"
type="local"><fr:em>ACT ’22</fr:em>: International Conference on Applied Category Theory</fr:link></fr:li></fr:ol></fr:mainmatter></fr:tree></fr:mainmatter></fr:tree><fr:tree
show-metadata="false"
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19597</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19605</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>19598</fr:anchor><fr:title
hidden-when-empty="true"><fr:frontmatter><fr:anchor>19606</fr:anchor><fr:title
text="Contributions">Contributions</fr:title></fr:frontmatter><fr:mainmatter /></fr:tree></fr:backmatter></fr:tree>
Loading

0 comments on commit abc59e3

Please sign in to comment.