Bounded Linear Logic

Authors
Publication date
1 August 1991
Publisher
ScholarlyCommons

Abstract

A typed, modular paradigm for polynomial time computation is proposed

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Kosmopolis

    redirect
    oaioai:repository.upenn.edu:cis_r...
    Last time updated on 09/07/2019

    ScholarlyCommons@Penn

    redirect
    oaioai:repository.upenn.edu:cis_r...
    Last time updated on 15/02/2017