DMCA

Symmetric Normalisation for Intuitionistic Logic

by Nicolas Guenot