Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

Authors
Publication date
1 January 1994
Publisher
Technische Universiteit Eindhoven
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      NARCIS

      redirect
      Last time updated on 18/06/2018