Buchumschlag

Groups and Inverse Semigroups in Lambda Calculus

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bucciarelli, Antonio, De Faveri, Arturo, Manzonetto, Giulio, Salibra, Antonino
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exploring New Topologies for the Theory of Clones
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2023)

The higher dimensional propositional calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2022)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
von: Intrigila, Benedetto, et al.
Veröffentlicht: (2023)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

The Lambda Calculus is Quantifiable
von: Maestracci, Valentin, et al.
Veröffentlicht: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2025)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

Interaction Equivalence
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2024)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
von: Cerna, David M., et al.
Veröffentlicht: (2022)

Interaction Improvement
von: Lancelot, Adrienne, et al.
Veröffentlicht: (2026)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
von: Nederpelt, Rob, et al.
Veröffentlicht: (2026)

Interpreting Lambda Calculus in Domain-Valued Random Variables
von: Furber, Robert, et al.
Veröffentlicht: (2021)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
von: Jagadeesan, Radha
Veröffentlicht: (2024)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
von: Cerda, Rémy, et al.
Veröffentlicht: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
von: Bertrand, Meven Lennon, et al.
Veröffentlicht: (2026)

Birkhoff-style Theorems Through Infinitary Clone Algebras
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2024)

Adding Negation to Lambda Mu
von: van Bakel, Steffen
Veröffentlicht: (2021)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

The Flower Calculus
von: Donato, Pablo
Veröffentlicht: (2024)

Intersection Types for a Computational Lambda-Calculus with Global State
von: de'Liguoro, Ugo, et al.
Veröffentlicht: (2021)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)

Lax Modal Lambda Calculi
von: Valliappan, Nachiappan
Veröffentlicht: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Six Birds: Foundations of Emergence Calculus
von: Tsiokos, Ioannis
Veröffentlicht: (2026)

Quantitative Types for the Functional Machine Calculus
von: Heijltjes, Willem
Veröffentlicht: (2025)

Proofs as Execution Trees for the π-Calculus
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Nested-sequent Calculus for Modal Logic MB
von: Kawano, Tomoaki
Veröffentlicht: (2024)

A Sequent Calculus For Trace Formula Implication
von: Heidler, Niklas, et al.
Veröffentlicht: (2025)

Substitution in the lambda Calculus and the role of the Curry School
von: Kamareddine, Fairouz
Veröffentlicht: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

A Deductive Refinement Calculus for Differential-Algebraic Programs
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2026)