Proof of translation in natural semantics (1986)

by J Despeyroux
Venue:In Symposium on Logic in Computer Science