Inductive Datatypes with Laws and Subtyping – A Relational Model

by Theodorus Sebastiaan Voermans
Venue:Faculty of Mathematics and Computing