Saved in:
| Main Authors: | McPheat, Lachlan, Sadrzadeh, Mehrnoosh, Wazni, Hadi, Wijnholds, Gijs |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2005.03074 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)
by: Kuznetsov, Stepan L.
Published: (2022)
Complexity of Nonassociative Lambek Calculus with classical logic
by: Płaczek, Paweł
Published: (2024)
by: Płaczek, Paweł
Published: (2024)
Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)
by: Kuznetsov, Stepan L., et al.
Published: (2024)
Reasonable Space for the $λ$-Calculus, Logarithmically
by: Accattoli, Beniamino, et al.
Published: (2022)
by: Accattoli, Beniamino, et al.
Published: (2022)
Semi-Substructural Logics à la Lambek
by: Wan, Cheng-Syuan
Published: (2024)
by: Wan, Cheng-Syuan
Published: (2024)
An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning
by: Kaur, Navdeep, et al.
Published: (2025)
by: Kaur, Navdeep, et al.
Published: (2025)
A Categorical Framework for Modeling with Stock and Flow Diagrams
by: Baez, John C., et al.
Published: (2022)
by: Baez, John C., et al.
Published: (2022)
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
by: Aceto, Luca, et al.
Published: (2025)
by: Aceto, Luca, et al.
Published: (2025)
The Functional Machine Calculus III: Control
by: Heijltjes, Willem
Published: (2025)
by: Heijltjes, Willem
Published: (2025)
Functional Array Programming in an Extended Pi-Calculus
by: Hüttel, Hans, et al.
Published: (2024)
by: Hüttel, Hans, et al.
Published: (2024)
A Simple Categorical Calculus of Interacting Processes
by: Nester, Chad, et al.
Published: (2026)
by: Nester, Chad, et al.
Published: (2026)
DisCoCLIP: A Distributional Compositional Tensor Network Encoder for Vision-Language Understanding
by: Lo, Kin Ian, et al.
Published: (2025)
by: Lo, Kin Ian, et al.
Published: (2025)
Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)
by: Pym, David, et al.
Published: (2023)
The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
by: Accattoli, Beniamino
Published: (2024)
by: Accattoli, Beniamino
Published: (2024)
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
by: Kobayashi, Naoki
Published: (2024)
by: Kobayashi, Naoki
Published: (2024)
The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)
by: Maestracci, Valentin, et al.
Published: (2024)
Nested-sequent Calculus for Modal Logic MB
by: Kawano, Tomoaki
Published: (2024)
by: Kawano, Tomoaki
Published: (2024)
Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)
by: Greati, Vitor, et al.
Published: (2024)
Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
by: Spronck, Myrthe, et al.
Published: (2024)
by: Spronck, Myrthe, et al.
Published: (2024)
On Complete Categorical Semantics for Effect Handlers
by: Kura, Satoshi
Published: (2026)
by: Kura, Satoshi
Published: (2026)
Strategies as Resource Terms, and their Categorical Semantics
by: Blondeau-Patissier, Lison, et al.
Published: (2023)
by: Blondeau-Patissier, Lison, et al.
Published: (2023)
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
by: Bembenek, Aaron, et al.
Published: (2026)
by: Bembenek, Aaron, et al.
Published: (2026)
Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)
by: Eckhardt, Timo, et al.
Published: (2024)
A Categorical Semantics for Linear Logical Frameworks
by: Vákár, Matthijs
Published: (2015)
by: Vákár, Matthijs
Published: (2015)
An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)
by: Díaz-Caro, Alejandro, et al.
Published: (2025)
A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)
by: Buzoku, Yll, et al.
Published: (2025)
Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)
by: Slavnov, Sergey
Published: (2022)
Lax Modal Lambda Calculi
by: Valliappan, Nachiappan
Published: (2025)
by: Valliappan, Nachiappan
Published: (2025)
Layered Modal Type Theories
by: Hu, Jason Z. S., et al.
Published: (2023)
by: Hu, Jason Z. S., et al.
Published: (2023)
FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
by: Alkhairy, Maha, et al.
Published: (2025)
by: Alkhairy, Maha, et al.
Published: (2025)
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
by: Kuznetsov, Stepan L.
Published: (2025)
by: Kuznetsov, Stepan L.
Published: (2025)
Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
by: Bertrand, Meven Lennon, et al.
Published: (2026)
by: Bertrand, Meven Lennon, et al.
Published: (2026)
Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)
by: Stramaglia, Anna, et al.
Published: (2025)
Equational Bit-Vector Solving via Strong Gröbner Bases
by: Song, Jiaxin, et al.
Published: (2024)
by: Song, Jiaxin, et al.
Published: (2024)
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
by: Takata, Yoshiaki, et al.
Published: (2024)
by: Takata, Yoshiaki, et al.
Published: (2024)
Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)
by: Kaye, George
Published: (2025)
Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)
by: Nishimura, Yuki, et al.
Published: (2024)
Semantically Reflected Programs
by: Kamburjan, Eduard, et al.
Published: (2025)
by: Kamburjan, Eduard, et al.
Published: (2025)
Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)
by: Goncharov, Sergey, et al.
Published: (2026)
Similar Items
-
Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022) -
Complexity of Nonassociative Lambek Calculus with classical logic
by: Płaczek, Paweł
Published: (2024) -
Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024) -
Reasonable Space for the $λ$-Calculus, Logarithmically
by: Accattoli, Beniamino, et al.
Published: (2022) -
Semi-Substructural Logics à la Lambek
by: Wan, Cheng-Syuan
Published: (2024)