Imagen de Portada

Denotational semantics driven simplicial homology?

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Barbarossa, Davide
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Resource approximation for the $λμ$-calculus
por: Barbarossa, Davide
Publicado: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
por: Barbarossa, Davide
Publicado: (2024)

On the algorithmic structure of Dialectica realisers
por: Barbarossa, Davide, et al.
Publicado: (2025)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
por: Barbarossa, Davide, et al.
Publicado: (2025)

An excursion into Dialectica and Differentiation
por: Barbarossa, Davide
Publicado: (2024)

Wiring the Pi-calculus to Denotational Semantics
por: Sakayori, Ken, et al.
Publicado: (2026)

Bilateral base-extension semantics
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Filling in the semantics for intuitionistic conditional logic
por: Dufty, Brendan, et al.
Publicado: (2025)

Denotational semantics for stabiliser quantum programs
por: Booth, Robert I., et al.
Publicado: (2025)

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

Syntax and semantics of multi-adjoint normal logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
por: Watanabe, Kazuki, et al.
Publicado: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

Denotational Foundations for Expected Cost Analysis
por: de Amorim, Pedro H. Azevedo
Publicado: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
por: Cao, Qinxiang, et al.
Publicado: (2024)

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

There are (other) ways to negate in propositional team semantics
por: Yang, Fan
Publicado: (2024)

T-BAT semantics and its logics
por: Pawlowski, Pawel
Publicado: (2025)

On Kleisli liftings and decorated trace semantics
por: Luckhardt, Daniel, et al.
Publicado: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)

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

Operational semantics and program verification using many-sorted hybrid modal logic
por: Leustean, Ioana, et al.
Publicado: (2019)

Modular many-valued semantics for combined logics
por: Caleiro, Carlos, et al.
Publicado: (2022)

The $\infty$-category of $\infty$-categories in simplicial type theory
por: Gratzer, Daniel, et al.
Publicado: (2026)

Knowledge and simplicial complexes
por: van Ditmarsch, Hans, et al.
Publicado: (2020)

Demystifying $μ$
por: Afshari, Bahareh, et al.
Publicado: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

The strength of the dominance rule
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2024)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

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

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)