Accueil

Luca Roversi

  1. Safe Recursion on Notation into a Light Logic by Levels.

    Wed, 05/05/2010 - 15:01 — SomNambul
    Authors: Luca Vercelli, Luca Roversi
    Subjects: Logic in Computer Science
    Abstract

    We embed Safe Recursion on Notation (SRN) into Light Affine Logic by Levels
    (LALL), derived from the logic L4. LALL is an intuitionistic deductive system,
    with a polynomial time cut elimination strategy.

Math-arch

Syndicate content