Towards Unifying (Co)induction and Structural Control - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2021

Towards Unifying (Co)induction and Structural Control

Abstract

In this work-in-progress paper, we extend hybrid multiplicative-additive linear logic with modalities for recursion so that infinite formulas and proofs correspond to (co)inductive types and programs. Working towards a unified logical framework, we consider various approaches to incorporating limited rules of weakening and contraction that reuse the hybrid structure.
Fichier principal
Vignette du fichier
TLLA_2021_paper_12.pdf (151.26 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-03271428 , version 1 (25-06-2021)

Licence

Attribution - NonCommercial

Identifiers

  • HAL Id : lirmm-03271428 , version 1

Cite

Siva Somayyajula. Towards Unifying (Co)induction and Structural Control. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271428⟩

Collections

LIRMM TLLA2021
269 View
111 Download

Share

Gmail Facebook X LinkedIn More