Publicação Post-Proceedings LSFA 2021 - Vol. 357 EPTCS
Mauricio Ayala Rincon
somente para anunciar a publicação dos post-proceedings de LSFA 2021:
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LSFA2021
Eduardo Bonelli, Mauricio Ayala-Rincon
--//--
"Proceedings 16th Logical and Semantic Frameworks with Applications"
volume 357 EPTCS
Preface
Mauricio Ayala-Rincón and Eduardo Bonelli
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LSFA2021#EPTCS357.0
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
Alejandro Díaz-Caro 1
http://dx.doi.org/10.4204/EPTCS.357.1
A Note on Confluence in Typed Probabilistic Lambda Calculi
Rafael Romero and Alejandro Díaz-Caro 18
http://dx.doi.org/10.4204/EPTCS.357.2
About Opposition and Duality in Paraconsistent Type Theory
Juan C. Agudelo-Agudelo and Andrés Sicard-Ramírez 25
http://dx.doi.org/10.4204/EPTCS.357.3
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL
Asta Halkjær From, Frederik Krogsdal Jacobsen and Jørgen Villadsen 38
http://dx.doi.org/10.4204/EPTCS.357.4
On Logics of Perfect Paradefinite Algebras
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos and Umberto Rivieccio 56
http://dx.doi.org/10.4204/EPTCS.357.5
GADTs, Functoriality, Parametricity: Pick Two
Patricia Johann, Enrico Ghiorzi and Daniel Jeffries 77
http://dx.doi.org/10.4204/EPTCS.357.6
A Subexponential View of Domains in Session Types
Daniele Nantes, Carlos Olarte and Daniel Ventura 93
http://dx.doi.org/10.4204/EPTCS.357.7