Using domain algebras to prove the correctness of a compiler (1986)

by P Dybjer
Venue:Lecture Notes in Computer Science