er Order Categorical Logic</h1>
<hr>
<!--X-Subject-Header-End-->
<!--X-Head-of-Message-->
<ul>
<li><em>To</em>: Generic Ontology Group &lt;<A HREF="mailto:ontology@ieee.org">ontology@ieee.org</A>&gt;</li>
<li><em>Subject</em>: ONT Re: Higher Order Categorical Logic</li>
<li><em>From</em>: Jon Awbrey &lt;<A HREF="mailto:jawbrey@oakland.edu">jawbrey@oakland.edu</A>&gt;</li>
<li><em>Date</em>: Mon, 15 Oct 2001 20:24:46 -0400</li>
<li><em>References</em>: &lt;<a href="msg03373.html">3BBD2BA7.64CDB329@oakland.ed