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