Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      System architecture for reflective distributed computing environments (SARDES); Inria Grenoble - Rhône-Alpes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG); Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS); ANR-07-BLAN-0324,CHOCO,Curry-Howard pour la concurrence(2007)
    • بيانات النشر:
      HAL CCSD
      Springer
    • الموضوع:
      2010
    • Collection:
      Université Grenoble Alpes: HAL
    • الموضوع:
      Brno; Czech Republic
    • نبذة مختصرة :
      International audience ; We prove ''untyping'' theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.
    • Relation:
      hal-00421158; https://hal.science/hal-00421158; https://hal.science/hal-00421158v4/document; https://hal.science/hal-00421158v4/file/utas.pdf
    • الرقم المعرف:
      10.1007/978-3-642-15205-4_37
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.3BB5A459