research

Coalgebras as Types Determined by Their Elimination Rules

Authors
Publication date
10 July 2012
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Cronfa at Swansea University

      redirect
      oaioai:cronfa.swan.ac.uk:cronfa19...
      Last time updated on 06/03/2017