Inheritance of proofs (1996)

by Martin Hofmann, Wolfgang Narashewski, Martin Steffan, Terry Stroup
Venue:In Foundations of Object Oriented Languages 3