From light logics to type assignments: a case study

Marco Gaboardi, Simona Ronchi Della Rocca

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)


    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 Interest Group in Pure and Applied Logic (IGPL) (Logic Journal of the IGPL)
    Issue number5
    Publication statusPublished - Oct 2009


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

    Cite this