![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
15th LSFA 2020: Online
- Cláudia Nalon, Giselle Reis:
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020 - Cláudia Nalon, Giselle Reis:
Preface. 1-2 - Sandra Alves, Maribel Fernández, Miguel Ramos
:
EVL: A Typed Higher-order Functional Language for Events. 3-23 - Linda Brodo, Carlos Olarte
:
A Constraint-based Language for Multiparty Interactions. 25-50 - Susannah Mansky, Elsa L. Gunter:
Safety of a Smart Classes-Used Regression Test Selection Algorithm. 51-73 - Cecilia Manzino, Alberto Pardo:
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. 75-94 - Alexis Martin, Alejandro Ríos, Andrés Viso
:
Pure Pattern Calculus à la de Bruijn. 95-113 - Sepehr Amir-Mohammadian, Chadi Kari:
Correct Audit Logging in Concurrent Systems. 115-141 - Carlos Olarte
, Elaine Pimentel
, Bruno Xavier:
A Fresh View of Linear Logic as a Logical Framework. 143-165 - Sandro Preto
, Marcelo Finger:
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. 167-186 - Sebastián Urciuoli, Álvaro Tasistro
, Nora Szasz
:
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. 187-203
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.