search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

LSFA

Keyphrases

Publications

volume 357, 2022

Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. LSFA 357 (2022)

2021

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
About Opposition and Duality in Paraconsistent Type Theory. LSFA (2021)
Alejandro Díaz-Caro
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. LSFA (2021)
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. LSFA (2021)

2020

volume 351, 2020

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020 LSFA 351 (2020)

volume 348, 2020

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019 LSFA 348 (2020)

2019

volume 344, 2019

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018 LSFA 344 (2019)

2018

volume 338, 2018

12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017 LSFA 338 (2018)

2017

volume 332, 2017

11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016 LSFA 332 (2017)