:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Altenkirch, Thorsten, Barbanera, Franco, Damiani, Ferruccio, de'Liguoro, Ugo
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2603.02912
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Formalising Inductive and Coinductive Containers
por: Damato, Stefania, et al.
Publicado: (2024)

Substitution Without Copy and Paste
por: Altenkirch, Thorsten, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

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

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

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

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

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

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

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

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

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

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

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

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
por: Kop, Cynthia, et al.
Publicado: (2025)

Proceedings 40th International Conference on Logic Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)