ref="msg03405.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="03406" href="msg03406.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="03409" href="msg03409.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><st