A Parametrised Functional Interpretation of Affine Logic
| Autor: | Bruno Dinis, Paulo Oliva |
|---|---|
| Přispěvatelé: | Universidade de Lisboa (ULISBOA), Queen Mary University of London (QMUL) |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: | |
| Zdroj: | 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021) 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy HAL |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|