Term declaration logic and generalised compositaGilles Jacques Barthe · First published 1993Open the Tome
