Title: Theory interpretations in PVS
Subjects: Mechanization, Proving, Programming languages