CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Alberto Ciaffaglione
Latest
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Imperative Object-based Calculi in (Co)Inductive Type Theories
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
Cite
×