Equational Semantics.

Loc Correnson, tienne Duris, Didier Parigot, Gilles Roussel

Browse the full SAS paper archive.