Copertina

Equivalence of Applicative Functors and Multifunctors

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Abel, Andreas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Logic in Computer Science 68N18 D.1.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Hashing Modulo Context-Sensitive $α$-Equivalence
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

Transport via Partial Galois Connections and Equivalences
di: Kappelmann, Kevin
Pubblicazione: (2023)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

foetus -- Termination Checker for Simple Functional Programs
di: Abel, Andreas
Pubblicazione: (2024)

Optimal matching for sharing and linearity analysis
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

Implementing backjumping by means of exception handling
di: Drabent, Włodzimierz
Pubblicazione: (2023)

Decidable Reversible Equivalences for Finite Petri Nets
di: Gorrieri, Roberto, et al.
Pubblicazione: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
di: Kirn, Jeremy C., et al.
Pubblicazione: (2025)

Optimal Software Pipelining using an SMT-Solver
di: Roorda, Jan-Willem
Pubblicazione: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

Internalizing Extensions in Lattices of Type Theories
di: Chan, Jonathan
Pubblicazione: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2025)

An Algebraic Approach to Weighted Answer-set Programming
di: Coelho, Francisco, et al.
Pubblicazione: (2025)

Complexity of Consistency Testing for the Release-Acquire Semantics
di: Govind, R., et al.
Pubblicazione: (2026)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

Algebra of Self-Replication
di: Moss, Lawrence S.
Pubblicazione: (2023)

Learning Closed Signal Flow Graphs
di: Piotrovskaya, Ekaterina, et al.
Pubblicazione: (2024)

A note on occur-check (extended report)
di: Drabent, Włodzimierz
Pubblicazione: (2022)

(Co)condition hits the Path
di: Zhang, Tesla, et al.
Pubblicazione: (2024)

Probabilistic Nets-within-Nets
di: Köhler-Bußmeier, Michael
Pubblicazione: (2024)

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

Place Bisimilarity is Decidable, Indeed!
di: Gorrieri, Roberto
Pubblicazione: (2021)

On systematic construction of correct logic programs
di: Drabent, Włodzimierz
Pubblicazione: (2025)

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
di: Ambroszkiewicz, Stanislaw, et al.
Pubblicazione: (2021)

A formal specification of the jq language
di: Färber, Michael
Pubblicazione: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
di: Piróg, Maciej, et al.
Pubblicazione: (2025)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
di: Buoncompagni, Luca, et al.
Pubblicazione: (2024)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

On the computational properties of basic mathematical notions
di: Normann, Dag, et al.
Pubblicazione: (2022)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
di: Iskander, Ray
Pubblicazione: (2026)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Logical Structure on Inverse Functor Categories
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
di: Niketan, Nripesh, et al.
Pubblicazione: (2025)

Extending the Quantitative Pattern-Matching Paradigm
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
di: Schewe, Klaus-Dieter
Pubblicazione: (2020)

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

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
di: Zhang, Di
Pubblicazione: (2025)

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