A logic identifying isomorphic propositions
Abstract
There is a mistake in the main proof (strong normalisation), and the system is actually not normalising in its current form, hence, we have withdrawn the draft until we have a fixed version.
| Origin | Files produced by the author(s) |
|---|