Algorithms from Relational Specifications, chapter 9 (1997)

by Rudolf Berghammer, Burghard von Karger
Venue:Advances in Computing
Add To MetaCart
Results 1 - 1 of 1

Inductive Datatypes with Laws and Subtyping – A Relational Model

by Theodorus Sebastiaan Voermans - Faculty of Mathematics and Computing
"... ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract not found