Skip to content

Proof of Translation in Natural Semantics

Jolle Despeyroux

VenueA*LICS
Year1986
ProceedingsLICS

Browse the full LICS paper archive.