Reductivity arguments and program construction

H. Doornbos

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

427 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Backhouse, R.C., Promotor Dijkstra, E.W., Promotor
Award date	24 Jun 1996
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0098-4
DOIs	https://doi.org/10.6100/IR461604
Publication status	Published - 1996

Access to Document

@phdthesis{c7ae42fce9454b6788a0a007adbe1887,

title = "Reductivity arguments and program construction",

author = "H. Doornbos",

year = "1996",

doi = "10.6100/IR461604",

language = "English",

isbn = "90-386-0098-4",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}