Cover Image

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Altenkirch, Thorsten, Barbanera, Franco, Damiani, Ferruccio, de'Liguoro, Ugo
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Partial Typing for Asynchronous Multiparty Sessions
by: Barbanera, Franco, et al.
Published: (2024)

Intersection Types for a Computational Lambda-Calculus with Global State
by: de'Liguoro, Ugo, et al.
Published: (2021)

Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)

The Groupoid-Syntax of Type Theory is a Set
by: Altenkirch, Thorsten, et al.
Published: (2025)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

Modular Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2026)

Safe Composition of Systems of Communicating Finite State Machines
by: Barbanera, Franco, et al.
Published: (2024)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
by: De Mol, Liesbeth, et al.
Published: (2025)

On The Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2025)

On the Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2026)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
by: Päßler, Juliane, et al.
Published: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
by: Nederpelt, Rob, et al.
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)