Image de couverture de livre

Extensional and Non-extensional Functions as Processes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sakayori, Ken, Sangiorgi, Davide
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
par: Kobayashi, Naoki
Publié: (2024)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
par: Franken, Tom T. P., et autres
Publié: (2024)

Compositional theories for host-core languages
par: Trotta, Davide, et autres
Publié: (2020)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
par: Sangiorgi, Davide
Publié: (2024)

revTPL: The Reversible Temporal Process Language
par: Bocchi, Laura, et autres
Publié: (2022)

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, et autres
Publié: (2025)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

Verifying Functional Correctness Properties At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
par: Huot, Mathieu, et autres
Publié: (2021)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
par: Katsura, Hiroyuki, et autres
Publié: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
par: Zhu, Shaowei, et autres
Publié: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
par: Klinkenberg, Lutz, et autres
Publié: (2023)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
par: Rustenholz, Louis, et autres
Publié: (2024)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
par: Matsuoka, Satoshi
Publié: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
par: Batz, Kevin, et autres
Publié: (2024)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Univalence without function extensionality
par: Cavallo, Evan, et autres
Publié: (2026)

Non-Cartesian Guarded Recursion with Daggers
par: Lemonnier, Louis
Publié: (2024)

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
par: Seidel, Anjo, et autres
Publié: (2025)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

An Introduction to Different Approaches to Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2024)

More Church-Rosser Proofs in BELUGA
par: Momigliano, Alberto, et autres
Publié: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)

Hybrid Intersection Types for PCF (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2024)

Verifying Lock-free Search Structure Templates
par: Patel, Nisarg, et autres
Publié: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
par: Pincus, Jared, et autres
Publié: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
par: Verscht, Lena, et autres
Publié: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
par: Jang, Junyoung, et autres
Publié: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
par: Accattoli, Beniamino
Publié: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
par: Barenbaum, Pablo, et autres
Publié: (2024)