text
oaioai:CiteSeerX.psu:10.1.1.522.8405

A P-Time completeness proof for light logics

Authors
Publication date
1 January 1999
Publisher
Doi

    Abstract

    Abstract. We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one

    Similar works

    Full text

    thumbnail-image

    CiteSeerX

    redirect
    oaioai:CiteSeerX.psu:10.1.1.522.8...
    Last time updated on 28/10/2017

    This paper was published in CiteSeerX.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.