Cover Image

A Categorical Framework for Modeling with Stock and Flow Diagrams

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baez, John C., Li, Xiaoyan, Libkind, Sophie, Osgood, Nathaniel D., Redekopp, Eric
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science Computation and Language
Online Access:	Acceder al recurso
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)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
by: McPheat, Lachlan, et al.
Published: (2020)

LFPL: Revisited and Mechanized
by: Glover, Nathaniel, et al.
Published: (2026)

A Categorical Semantics for Linear Logical Frameworks
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)

A Categorical Approach to DIBI Models
by: Gu, Tao, et al.
Published: (2024)

String Diagrams for $λ$-calculi and Functional Computation
by: Ghica, Dan, et al.
Published: (2023)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

Fregean Flows
by: Easthope, Eric
Published: (2024)

Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
by: Coglio, Alessandro, et al.
Published: (2025)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
by: Li, Runming, et al.
Published: (2025)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
by: Li, Jinzheng, et al.
Published: (2026)

An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Improving the Diproche CNL through Autoformalization via Large Language Models
by: Carl, Merlin
Published: (2023)

act: Technical report
by: Paraskevopoulou, Zoe, et al.
Published: (2026)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

A Categorical Foundation of Rough Sets
by: Kakutani, Yoshihiko
Published: (2025)

DateSAT: A Framework for Solving Date and Period Constraints
by: Cui, Leyi, et al.
Published: (2026)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
by: Zafar, Aizan, et al.
Published: (2024)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)

Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)

A Nominal Approach to Probabilistic Separation Logic
by: Li, John M., et al.
Published: (2024)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
by: Xu, Chen, et al.
Published: (2024)

Meaningfulness and Genericity in a Subsuming Framework
by: Kesner, Delia, et al.
Published: (2024)

Proving Confluence in the Confluence Framework with CONFident
by: Gutiérrez, Raúl, et al.
Published: (2023)

Categorical generalization of spectral decomposition
by: Nishizawa, Koki, et al.
Published: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
by: Schoen, Ezra, et al.
Published: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
by: Sulc, Antonin
Published: (2025)

A dependently-typed calculus of event telicity and culminativity
by: Kovalev, Pavel, et al.
Published: (2025)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
by: Joosten, Joost J., et al.
Published: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
by: Liu, Chengwu, et al.
Published: (2026)