Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic

Authors
Publication date
1 January 2020
Publisher
Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Cronfa at Swansea University

      redirect
      oaioai:cronfa.swan.ac.uk:cronfa58...
      Last time updated on 09/11/2021