Richiedi una copia del documento: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Captcha code
Annulla