Luigi Liquori

Imperative Object-based Calculi in (Co)Inductive Type Theories
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax

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