Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alberto Ciaffaglione

Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English