Elimination of negation in a logical framework (2000)

by A Momigliano
Venue:In Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic, volume 1862 of LNCS