CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Liquori L
Latest
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Cite
×