<!-- MHonArc v2.4.8 -->
<!--X-Subject: ONT Re: Higher Order Categorical Logic -->
<!--X-From-R13: Xba Ojoerl <wnjoerlNbnxynaq.rqh> -->
<!--X-Date: Mon, 15 Oct 2001 20:25:10 &#45;0400 (EDT) -->
<!--X-Message-Id: 3BCB7E4E.A2FE669F@oakland.edu -->
<!--X-Content-Type: text/plain -->
<!--X-Reference: 3BBD2BA7.64CDB329@oakland.edu -->
<!--X-Reference: 3BBDD901.E88C75B6@oakland.edu -->
<!--X-Reference: 3BBDF1E0.3BD81BB@oakland.edu -->
<!--X-Reference: 3BBDFA85.8A82CB89@oakland.edu -->
<!--X-Reference: 3BBE150F.C24