An abstract standardisation theorem

Georges Gonthier, Jean-Jacques Lvy, Paul-Andr Mellis

Browse the full LICS paper archive.