net&gt;</li></ul></li>
<li><strong><a name="05264" href="msg05264.html">ONT Re: Higher Order Categorical Logic -- Discussion</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;jawbrey@att.net&gt;</li></ul></li>
</ul></li></ul>
<!--X-References-End-->
<!--X-BotPNI-->
<ul>
<LI>Prev by Date:
<STRONG><A HREF="msg05266.html">ONT Re: Higher Order Categorical Logic -- Discussion</A></STRONG>
</LI>
<LI>Next by Date:
<STRONG><A HREF="msg05264.html">ONT Re: Higher Order Categorical Logic -- Discussion</A></STRONG>
</