A formalisation of design methods : a lambda-calculus approach to system design with an application to text editing

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

714 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Kruseman Aretz, Frans, Promotor Bergstra, Jan A., Promotor, External person
Award date	23 Feb 1990
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
DOIs	https://doi.org/10.6100/IR324749
Publication status	Published - 1990

Access to Document

@phdthesis{76da472430f54f77bf9b38153a9b681c,

title = "A formalisation of design methods : a lambda-calculus approach to system design with an application to text editing",

author = "L.M.G. Feijs",

year = "1990",

doi = "10.6100/IR324749",

language = "English",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}