View of A Simple Correctness Proof of the Direct-Style Transformation

Return to Article Details A Simple Correctness Proof of the Direct-Style Transformation Download Download PDF