Copertina

Towards a Semantic Characterisation of Global Type Well-formedness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Castellani, Ilaria, Giannini, Paola
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Global types and event structure semantics for asynchronous multiparty sessions
di: Castellani, Ilaria, et al.
Pubblicazione: (2021)

Sensible Intersection Type Theories
di: Dezani-Ciancaglini, Mariangiola, et al.
Pubblicazione: (2026)

Constructive characterisations of the must-preorder for asynchrony
di: Bernardi, Giovanni, et al.
Pubblicazione: (2025)

Characterising Modal Formulas with Examples
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
di: Benerecetti, Massimo, et al.
Pubblicazione: (2024)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

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

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

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

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

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

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

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

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

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

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

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

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

A SUBSET-SUM Characterisation of the A-Hierarchy
di: Gutleben, Jan, et al.
Pubblicazione: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Well-Founded Coalgebras Meet König's Lemma
di: Urbat, Henning, et al.
Pubblicazione: (2025)

Branch-Well-Structured Transition Systems and Extensions
di: Bollig, Benedikt, et al.
Pubblicazione: (2022)

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

Towards a Higher-Order Bialgebraic Denotational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2026)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

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

Impredicative Encodings of (Higher) Inductive Types
di: Awodey, Steve, et al.
Pubblicazione: (2018)

Topological Semantics for Common Inductive Knowledge
di: Namachivayam, Siddharth
Pubblicazione: (2026)