Program Transformation By Proof in Constructive Framework (1991)

by D. Galmiche , Crin Inria Lorraine
Venue:In Informatika '91, Theoretical Computer Science and Methods of Compilation and Program Construction
Citations:1 - 0 self