An abstract standardisation theorem

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1992.185521 ◽

2003 ◽

Author(s):

G. Gonthier ◽

J.-J. Levy ◽

P.-A. Mellies

Download Full-text