Proof of translation in natural semantics (1986)

by J Despeyroux
Venue:In Proceedings of the First ACM Confemnce on Logic in Computer Science