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

Authors
Publication date
1 January 1990
Publisher
Technische Universiteit Eindhoven
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Pure OAI Repository

      redirect
      oaioai:pure.tue.nl:openaire_cris_...
      Last time updated on 11/08/2023

      Repository TU/e

      redirect
      oaioai:library.tue.nl:324749
      Last time updated on 12/11/2016

      NARCIS

      redirect
      Last time updated on 18/06/2018

      Pure OAI Repository

      redirect
      oaioai:pure.tue.nl:publications/7...
      Last time updated on 11/08/2023