jawbrey@oakland.edu&gt;</li></ul></li>
<li><strong><a name="03383" href="msg03383.html">ONT Re: 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="03384" href="msg03384.html">ONT Re: 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="03392" href="msg03392.html">ONT Re: Higher Order Categorical Logic</a></strong>
<ul><li><em>From