Sign in

The Categorical Abstract Machine.

Guy CousineauPierre-Louis CurienMichel Mauny
Published in: Sci. Comput. Program. (1987)
Keyphrases