Interactive Programs in Dependent Type Theory

Authors
Publication date
1 January 2000
Publisher
Doi

    Abstract

    . We propose a representation of interactive systems in dependen

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 15/02/2019