Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2211.01290 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
by: D'Angelo, Keri, et al.
Published: (2025)
by: D'Angelo, Keri, et al.
Published: (2025)
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
by: McPheat, Lachlan, et al.
Published: (2020)
by: McPheat, Lachlan, et al.
Published: (2020)
LFPL: Revisited and Mechanized
by: Glover, Nathaniel, et al.
Published: (2026)
by: Glover, Nathaniel, et al.
Published: (2026)
String Diagrams for $λ$-calculi and Functional Computation
by: Ghica, Dan, et al.
Published: (2023)
by: Ghica, Dan, et al.
Published: (2023)
A Categorical Semantics for Linear Logical Frameworks
by: Vákár, Matthijs
Published: (2015)
by: Vákár, Matthijs
Published: (2015)
A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)
by: Slavnov, Sergey
Published: (2022)
A Categorical Approach to DIBI Models
by: Gu, Tao, et al.
Published: (2024)
by: Gu, Tao, et al.
Published: (2024)
Fregean Flows
by: Easthope, Eric
Published: (2024)
by: Easthope, Eric
Published: (2024)
Defining implication relation for classical logic
by: Fu, Li
Published: (2013)
by: Fu, Li
Published: (2013)
A Formalization of the Yul Language and Some Verified Yul Code Transformations
by: Coglio, Alessandro, et al.
Published: (2025)
by: Coglio, Alessandro, et al.
Published: (2025)
Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)
by: Asgeirsson, Dagur, et al.
Published: (2024)
Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)
A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)
by: Lund, Nicky Ask, et al.
Published: (2024)
Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
by: Li, Runming, et al.
Published: (2025)
by: Li, Runming, et al.
Published: (2025)
Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)
by: Acclavio, Matteo, et al.
Published: (2026)
An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)
by: Pincus, Jared, et al.
Published: (2024)
act: Technical report
by: Paraskevopoulou, Zoe, et al.
Published: (2026)
by: Paraskevopoulou, Zoe, et al.
Published: (2026)
An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)
by: Pym, David, et al.
Published: (2023)
MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
by: Li, Jinzheng, et al.
Published: (2026)
by: Li, Jinzheng, et al.
Published: (2026)
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)
by: Derakhshan, Farzaneh, et al.
Published: (2024)
DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
by: Xu, Chen, et al.
Published: (2024)
by: Xu, Chen, et al.
Published: (2024)
DateSAT: A Framework for Solving Date and Period Constraints
by: Cui, Leyi, et al.
Published: (2026)
by: Cui, Leyi, et al.
Published: (2026)
A Nominal Approach to Probabilistic Separation Logic
by: Li, John M., et al.
Published: (2024)
by: Li, John M., et al.
Published: (2024)
Improving the Diproche CNL through Autoformalization via Large Language Models
by: Carl, Merlin
Published: (2023)
by: Carl, Merlin
Published: (2023)
MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
by: Zafar, Aizan, et al.
Published: (2024)
by: Zafar, Aizan, et al.
Published: (2024)
Meaningfulness and Genericity in a Subsuming Framework
by: Kesner, Delia, et al.
Published: (2024)
by: Kesner, Delia, et al.
Published: (2024)
Proving Confluence in the Confluence Framework with CONFident
by: Gutiérrez, Raúl, et al.
Published: (2023)
by: Gutiérrez, Raúl, et al.
Published: (2023)
Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)
by: Gurevich, Yuri
Published: (2025)
A Categorical Foundation of Rough Sets
by: Kakutani, Yoshihiko
Published: (2025)
by: Kakutani, Yoshihiko
Published: (2025)
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
by: Liu, Chengwu, et al.
Published: (2026)
by: Liu, Chengwu, et al.
Published: (2026)
Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)
by: Hajdu, Márton, et al.
Published: (2025)
Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)
by: Syropoulos, Apostolos
Published: (2024)
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
by: Li, Junle, et al.
Published: (2025)
by: Li, Junle, et al.
Published: (2025)
On Ambiguity: The case of fraction, its meanings and roles
by: Bergstra, Jan A, et al.
Published: (2026)
by: Bergstra, Jan A, et al.
Published: (2026)
Categorical generalization of spectral decomposition
by: Nishizawa, Koki, et al.
Published: (2025)
by: Nishizawa, Koki, et al.
Published: (2025)
A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
by: Sulc, Antonin
Published: (2025)
by: Sulc, Antonin
Published: (2025)
A dependently-typed calculus of event telicity and culminativity
by: Kovalev, Pavel, et al.
Published: (2025)
by: Kovalev, Pavel, et al.
Published: (2025)
A Categorical Approach to Coalgebraic Fixpoint Logic
by: Schoen, Ezra, et al.
Published: (2024)
by: Schoen, Ezra, et al.
Published: (2024)