[FOM] strange phenomenon

Filip Widebäck filip at l4i.se
Tue Jan 21 13:54:21 EST 2003


Dear Professor Tennant,

The explanation of the "strange phenomenon" you have observed is that the
"innocuous-seeming" reductions are far from "legitimate". You will find a
detailed explanation in Chapter 8 of my thesis, Identity of Proofs, which I
sent you a month ago.

Best regards,

Filip Widebäck



More information about the FOM mailing list