:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barenbaum, Pablo, Della Rocca, Simona Ronchi, Sottile, Cristian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2503.09831
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Principal Typing for Intersection Types, Forty-Five Years Later
von: Pautasso, Daniele, et al.
Veröffentlicht: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
von: Barenbaum, Pablo
Veröffentlicht: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

A formalization of System I with type Top in Agda
von: Séttimo, Agustín, et al.
Veröffentlicht: (2026)

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

A syntactic proof of decidability for the logic of bunched implication BI
von: Ramanayake, Revantha
Veröffentlicht: (2016)

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
von: Kuznetsov, Stepan L.
Veröffentlicht: (2025)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

Effective Versions of Strong Measure Zero
von: Rayman, Matthew
Veröffentlicht: (2025)

The syntactic side of autonomous categories enriched over generalised metric spaces
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2022)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

When Are Prime Formulae Characteristic?
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Strong Faithfulness for ELH Ontology Embeddings
von: Lacerda, Victor, et al.
Veröffentlicht: (2023)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

A type-theoretic approach to semistrict higher categories
von: Rice, Alex
Veröffentlicht: (2025)

Central H-spaces and banded types
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2023)

Strong Nominal Semantics for Fixed-Point Constraints
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2024)

Absolute continuity, supports and idempotent splitting in categorical probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2023)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
von: Majkic, Zoran
Veröffentlicht: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Directed type theory, with a twist
von: Rivera, Fernando Rafael Chu, et al.
Veröffentlicht: (2026)

Generic bidirectional typing for dependent type theories
von: Felicissimo, Thiago
Veröffentlicht: (2023)