><a name="03373" href="msg03373.html">ONT Higher Order Categorical Logic</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;jawbrey@oakland.edu&gt;</li></ul></li>
<li><strong><a name="05262" href="msg05262.html">ONT Higher Order Categorical Logic -- Discussion</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;jawbrey@att.net&gt;</li></ul></li>
<li><strong><a name="05263" href="msg05263.html">ONT Re: Higher Order Categorical Logic -- Discussion</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;jawbrey@att.