Liquori L

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

Published with Wowchemy — the free, open source website builder that empowers creators.