A Computation Model for Executable Higher-Order Algebraic Specification Languages

Jean-Pierre Jouannaud, Mitsuhiro Okada

Browse the full LICS paper archive.