A Linear Logic View of Gamma style Computations as proof searches

Authors
Publication date
31 August 1996
Publisher
'World Scientific Pub Co Pte Lt'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      OPUS

      redirect
      oaioai:purehost.bath.ac.uk:public...
      Last time updated on 02/01/2022