Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts ∗

by Alberto Ciaffaglione , Luigi Liquori , Marino Miculan
Citations:4 - 0 self