Proof of translation in natural semantics (1986)

by Joëlle Despeyroux
Venue:In LICS’86, First Symposium on Logic in Computer Science