[FOM] reducing higher to second order?
twilson at csufresno.edu
Wed Dec 17 16:27:25 EST 2003
I have seen passing references in the literature to a reduction of
higher-order logic to second-order logic, but none of the sources I
have at hand make any mention of it. Can anyone supply a statement of
this reduction and/or point me to where it was first (or most
Todd Wilson A smile is not an individual
Computer Science Department product; it is a co-product.
California State University, Fresno -- Thich Nhat Hanh
More information about the FOM