From light logics to type assignments: a case study

Marco Gaboardi, Simona Ronchi Della Rocca

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    Abstract

    Using Soft Linear Logic (SLL) as case study, we analyze a method for transforming a light logic into a type assignment system for the ?-calculus, inheriting the complexity properties of the logics. Namely the typing assures the strong normalization in a number of steps polynomial in the size of the term, and moreover all polynomial functions can be computed by ?-terms that can be typed in the system. The proposed method is general enough to be used also for other light logics.
    Original languageEnglish
    Pages (from-to)499-530
    Number of pages32
    JournalLogic Journal of the IGPL
    Volume17
    Issue number5
    DOIs
    Publication statusPublished - Oct 2009

    Fingerprint Dive into the research topics of 'From light logics to type assignments: a case study'. Together they form a unique fingerprint.

  • Cite this