TYPOL: A formalism to implement natural semantics (1988)

by T Despeyroux
Venue:Research Report 94, INRIA