:</em> Jon Awbrey &lt;jawbrey@oakland.edu&gt;</li></ul></li>
<li><strong><a name="03393" href="msg03393.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="03394" href="msg03394.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="03395" href="msg03395.html">ONT Re: Higher Order Categorical Logic</a></st