Caros, 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FR1PR80MB5338F2CF19821C42E96C7604C9E99%40FR1PR80MB5338.lamprd80.prod.outlook.com.
