Modular Normalisation of Classical Proofs

Authors
Publication date
3 April 2019
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Supporting member

    OPUS

    redirect
    oaioai:purehost.bath.ac.uk:studen...
    Last time updated on 11/05/2019