Inductive datatypes with laws and subtyping
Subtitle: a relational model
By: theodorus Sebastiaan Voermans
Contributors: Technische Universiteit Eindhoven
Published: 1999
Language: eng
Number of pages: 197
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1999.