<!-- MHonArc v2.4.8 -->
<!--X-Subject: ONT Re: Higher Order Categorical Logic &#45;&#45; Discussion -->
<!--X-From-R13: Xba Ojoerl <wnjoerlNngg.arg> -->
<!--X-Date: Wed, 7 Jan 2004 13:48:54 &#45;0500 (EST) -->
<!--X-Message-Id: 3FFC4D95.9CC32A1C@att.net -->
<!--X-Content-Type: text/plain -->
<!--X-Reference: 3BBD2BA7.64CDB329@oakland.edu -->
<!--X-Reference: 3FFC1D8B.62713F71@att.net -->
<!--X-Reference: 3FFC3333.FCFA985D@att.net -->
<!--X-Reference: 3FFC3FEC.14562262@att.net -->
<!--X-Head-End-->

<!-- /gr