A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing
type: CreativeWork
type: Book
type: ProductModel
issued: 1990
about: p075610124
about: p077605306
about: p078589398
about: p078569338
about: p078669529
about: p078612217
author: p075017741
description: Proefschrift Technische Universiteit Eindhoven
language: en
main entity of page: https://data.bibliotheken.nl/.well-known/genid/a2fcd1c2045dde116c412e0aa8662559
number of pages: 469
label: A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijs