TYPOL: a formalism to implement natural semantics (1988)

by Despeyroux
Venue:Tech. rep.RT-0094, INRIA Sophia Antipolis