Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès. An abstract standardisation theorem. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 72-81, IEEE Computer Society, 1992.
@inproceedings{GonthierLM92, title = {An abstract standardisation theorem}, author = {Georges Gonthier and Jean-Jacques Lévy and Paul-André Melliès}, year = {1992}, researchr = {https://researchr.org/publication/GonthierLM92}, cites = {0}, citedby = {0}, pages = {72-81}, booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA}, publisher = {IEEE Computer Society}, }