TYPOL: A Formalism to Implement Natural Semantics (1988)

by Thierry Despeyroux