Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.

Uwe Egly

Browse the full CADE paper archive.