Inductive datatypes with laws and subtyping : a relational model

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

164 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Backhouse, R.C., Promotor Meertens, Lambert G.L.T., Promotor, Externe Persoon
Datum van toekenning	13 jan. 1999
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
DOI's	https://doi.org/10.6100/IR519811
Status	Gepubliceerd - 1999

Toegang tot document

@phdthesis{825add2883b24210b760252754ba805d,

title = "Inductive datatypes with laws and subtyping : a relational model",

author = "T.S. Voermans",

year = "1999",

doi = "10.6100/IR519811",

language = "English",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}