Buchumschlag

Equivalence of Applicative Functors and Multifunctors

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Abel, Andreas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Logic in Computer Science 68N18 D.1.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hashing Modulo Context-Sensitive $α$-Equivalence
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Transport via Partial Galois Connections and Equivalences
von: Kappelmann, Kevin
Veröffentlicht: (2023)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

foetus -- Termination Checker for Simple Functional Programs
von: Abel, Andreas
Veröffentlicht: (2024)

Optimal matching for sharing and linearity analysis
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Implementing backjumping by means of exception handling
von: Drabent, Włodzimierz
Veröffentlicht: (2023)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
von: Kirn, Jeremy C., et al.
Veröffentlicht: (2025)

Optimal Software Pipelining using an SMT-Solver
von: Roorda, Jan-Willem
Veröffentlicht: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
von: Xu, Qiyuan, et al.
Veröffentlicht: (2024)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Weighted Answer-set Programming
von: Coelho, Francisco, et al.
Veröffentlicht: (2025)

Complexity of Consistency Testing for the Release-Acquire Semantics
von: Govind, R., et al.
Veröffentlicht: (2026)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Algebra of Self-Replication
von: Moss, Lawrence S.
Veröffentlicht: (2023)

Learning Closed Signal Flow Graphs
von: Piotrovskaya, Ekaterina, et al.
Veröffentlicht: (2024)

A note on occur-check (extended report)
von: Drabent, Włodzimierz
Veröffentlicht: (2022)

(Co)condition hits the Path
von: Zhang, Tesla, et al.
Veröffentlicht: (2024)

Probabilistic Nets-within-Nets
von: Köhler-Bußmeier, Michael
Veröffentlicht: (2024)

A "Symbolic" Representation of Object-Nets (Extended Version)
von: Köhler-Bussmeier, Michael, et al.
Veröffentlicht: (2024)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

On systematic construction of correct logic programs
von: Drabent, Włodzimierz
Veröffentlicht: (2025)

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
von: Ambroszkiewicz, Stanislaw, et al.
Veröffentlicht: (2021)

A formal specification of the jq language
von: Färber, Michael
Veröffentlicht: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
von: Buoncompagni, Luca, et al.
Veröffentlicht: (2024)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

On the computational properties of basic mathematical notions
von: Normann, Dag, et al.
Veröffentlicht: (2022)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
von: Iskander, Ray
Veröffentlicht: (2026)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
von: Niketan, Nripesh, et al.
Veröffentlicht: (2025)

Extending the Quantitative Pattern-Matching Paradigm
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
von: Zhang, Di
Veröffentlicht: (2025)