ussion</h1>
<hr>
<!--X-Subject-Header-End-->
<!--X-Head-of-Message-->
<ul>
<li><em>To</em>: Inquiry &lt;<A HREF="mailto:inquiry@stderr.org">inquiry@stderr.org</A>&gt;, Ontology &lt;<A HREF="mailto:ontology@ieee.org">ontology@ieee.org</A>&gt;</li>
<li><em>Subject</em>: ONT Re: Higher Order Categorical Logic -- Discussion</li>
<li><em>From</em>: Jon Awbrey &lt;<A HREF="mailto:jawbrey@att.net">jawbrey@att.net</A>&gt;</li>
<li><em>Date</em>: Wed, 07 Jan 2004 13:19:01 -0500</li>
<li><em>References</em>: &lt;<a h