دورية أكاديمية
Solvability for Generalized Applications
| العنوان: | Solvability for Generalized Applications |
|---|---|
| المؤلفون: | Kesner, Delia, Peyrot, Loïc |
| المساهمون: | Delia Kesner and Loïc Peyrot |
| بيانات النشر: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| سنة النشر: | 2022 |
| المجموعة: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| مصطلحات موضوعية: | Lambda-calculus, Generalized applications, Solvability, CBN/CBV, Quantitative types |
| الوصف: | Solvability is a key notion in the theory of call-by-name lambda-calculus, used in particular to identify meaningful terms. However, adapting this notion to other call-by-name calculi, or extending it to different models of computation - such as call-by-value - , is not straightforward. In this paper, we study solvability for call-by-name and call-by-value lambda-calculi with generalized applications, both variants inspired from von Plato’s natural deduction with generalized elimination rules. We develop an operational as well as a logical theory of solvability for each of them. The operational characterization relies on a notion of solvable reduction for generalized applications, and the logical characterization is given in terms of typability in an appropriate non-idempotent intersection type system. Finally, we show that solvability in generalized applications and solvability in the lambda-calculus are equivalent notions. |
| نوع الوثيقة: | article in journal/newspaper conference object |
| وصف الملف: | application/pdf |
| اللغة: | English |
| العلاقة: | Is Part Of LIPIcs, Volume 228, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022); urn:nbn:de:0030-drops-162994; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.18Test |
| DOI: | 10.4230/LIPIcs.FSCD.2022.18 |
| الإتاحة: | https://doi.org/10.4230/LIPIcs.FSCD.2022.18Test https://nbn-resolving.org/urn:nbn:de:0030-drops-162994Test |
| حقوق: | https://creativecommons.org/licenses/by/4.0/legalcodeTest |
| رقم الانضمام: | edsbas.D0F344F3 |
| قاعدة البيانات: | BASE |
| DOI: | 10.4230/LIPIcs.FSCD.2022.18 |
|---|