;</li></ul></li>
<li><strong><a name="03377" href="msg03377.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="03378" href="msg03378.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="03381" href="msg03381.html">ONT Re: Higher Order Categorical Logic</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;