Session-typed Staged Metaprogramming
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
Lógica
Kunen's inconsistency and immediately below
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
A new proof of Herbrand’s Theorem and the proof assistant Lean
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
On the Halpern method with adaptive anchoring parameters
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 2
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 1
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Seminário de Lógica Matemática, por Victor Nascimento (University College London).
Cut elimination for a non-wellfounded system for the master modality
Seminário de Lógica Matemática, por Borja Sierra Miranda (University of Bern).
Classes in HYPE
Seminário de Lógica Matemática, por Maria Beatrice Buonaguidi (King's College London).
How to define (and formalize) the notion of algorithm? Problems and perspectives
Seminário de Lógica Matemática, por Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST).