• Daniele Nantes, Carlos Olarte and Daniel Ventura. A subexponential view of domains in session types
  • Asta Halkjær From, Frederik Krogsdal Jacobsen and Jørgen Villadsen. SeCaV: A Sequent Calculus Verifier in Isabelle/HOL
  • Rafael Romero and Alejandro Díaz-Caro. A note on confluence in typed probabilistic lambda calculi
  • Juan Carlos Agudelo-Agudelo and Andrés Sicard-Ramírez. About Opposition and Duality in Paraconsistent Type Theory
  • Joel Felipe Gomes, Vitor Greati, Sérgio Marcelino, João Marcos and Umberto Rivieccio. On Logics of Perfect Paradefinite Algebras
  • Patricia Johann, Enrico Ghiorzi and Daniel Jeffries. GADTs, Functoriality, Parametricity: Pick Two
  • Mario Benevides and Luiz Fernandez. Tableaux Calculus for Dolev-Yao Multi-Agent Epistemic Logic

  • Pre-Proceedings

    LSFA 2021 Pre-Proceedings