Return to Article Details Unified Algebras and Abstract Syntax Download Download PDF