Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271428
Contributor : Isabelle Gouat Connect in order to contact the contributor
Submitted on : Friday, June 25, 2021 - 5:07:20 PM
Last modification on : Friday, June 25, 2021 - 7:11:57 PM
Long-term archiving on: : Sunday, September 26, 2021 - 10:30:22 PM

File

TLLA_2021_paper_12.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03271428, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

225

Files downloads

59