Skip to Main content Skip to Navigation
Conference papers

A Parametrised Functional Interpretation of Affine Logic

Abstract : This paper presents an abstract parametrised functional interpretation of Affine Logic. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. In this way we are able to generalise previous work on unifying functional interpretations, by including in the unification the more recent bounded and Herbrandized functional interpretations.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271508
Contributor : Isabelle Gouat <>
Submitted on : Friday, June 25, 2021 - 6:53:37 PM
Last modification on : Friday, June 25, 2021 - 7:11:57 PM

File

TLLA_2021_paper_3.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03271508, version 1

Collections

Citation

Bruno Dinis, Paulo Oliva. A Parametrised Functional Interpretation of Affine Logic. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271508⟩

Share

Metrics

Record views

92

Files downloads

15