Inductive Datatypes with Laws and Subtyping – A Relational Model

by Theodorus Sebastiaan Voermans

Venue:	Faculty of Mathematics and Computing
Citations:	4 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Inductive Datatypes with Laws and Subtyping – A Relational Model	user correction
AUTHOR NAME	Theodorus Sebastiaan Voermans	user correction
ABSTRACT		user correction
VENUE	Faculty of Mathematics and Computing	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	51 found	ParsCit 1.0