Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (0)

by A Ciaffaglione, L Liquori, M Miculan
Venue:JAR, Journal of Automated Reasoning