Inductive Datatypes with Laws and Subtyping – A Relational Model

Cached

Download Links

by Theodorus Sebastiaan Voermans
Venue:Faculty of Mathematics and Computing
Citations:4 - 0 self

Document Versions

Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans — Faculty of Mathematics and Computing