Imagen de Portada

Proceedings Seventh International Conference on Applied Category Theory 2024

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Johnson, Michael, Myers, David Jaz
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proceedings Eighth International Conference on Applied Category Theory
por: Hadzihasanovic, Amar, et al.
Publicado: (2026)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2025)

Proceedings 41st International Conference on Logic Programming
por: Gebser, Martin, et al.
Publicado: (2025)

Proceedings 40th International Conference on Logic Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2024)

Modal Fracture of Higher Groups
por: Myers, David Jaz
Publicado: (2021)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Compositionality of Lyapunov functions via assume-guarantee reasoning
por: Capucci, Matteo, et al.
Publicado: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

Proceedings 14th International Conference on Automated Deduction in Geometry
por: Quaresma, Pedro, et al.
Publicado: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
por: Chaudhuri, Kaustuv, et al.
Publicado: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
por: Barbosa, Haniel, et al.
Publicado: (2025)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
por: Bacci, Giorgio, et al.
Publicado: (2025)

Proceedings of the International Workshop on Verification of Scientific Software
por: Siegel, Stephen F., et al.
Publicado: (2025)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
por: Rabe, Florian, et al.
Publicado: (2024)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

On the Axioms of Arboreal Categories
por: Jakl, Tomáš, et al.
Publicado: (2026)

Linear Arboreal Categories
por: Abramsky, Samson, et al.
Publicado: (2023)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
por: Kop, Cynthia, et al.
Publicado: (2025)

Synthetic 1-Categories in Directed Type Theory
por: Altenkirch, Thorsten, et al.
Publicado: (2024)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
por: Bjorndahl, Adam
Publicado: (2025)

On Categories of Nested Conditions
por: Rensink, Arend, et al.
Publicado: (2024)

Evidential Decision Theory via Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2023)

Proceedings 13th International Workshop on Developments in Computational Models
por: Alves, Sandra, et al.
Publicado: (2024)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2024)

String Diagrams for Monoidal Categories, in Rocq
por: Pous, Damien
Publicado: (2026)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
por: Gamboa, Ruben, et al.
Publicado: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
por: Koul, Prajval, et al.
Publicado: (2025)

Proceedings Eighth Symposium on Working Formal Methods
por: Marin, Mircea, et al.
Publicado: (2024)

Aczel-Mendler Bisimulations in a Regular Category
por: Dubut, Jeremy
Publicado: (2023)

A Category-Theoretic Framework for Dependent Effect Systems
por: Kura, Satoshi, et al.
Publicado: (2026)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

A Category Theoretic Approach to Approximate Game Theory
por: Ghani, Neil
Publicado: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)