Image de couverture de livre

A Classical Linear $λ$-Calculus based on Contraposition

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Barenbaum, Pablo, Bonelli, Eduardo, Lerena, Leopoldo
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sharing and Linear Logic with Restricted Access (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2025)

A Strong Bisimulation for a Classical Term Calculus
par: Bonelli, Eduardo, et autres
Publié: (2021)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
par: Barenbaum, Pablo
Publié: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

Strong normalization through idempotent intersection types: a new syntactical approach
par: Barenbaum, Pablo, et autres
Publié: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
par: Traversié, Thomas
Publié: (2024)

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

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

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
par: Biernacka, Małgorzata, et autres
Publié: (2022)

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
par: Irani, Khashayar
Publié: (2025)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
par: Ernst, Gidon
Publié: (2026)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Around Classical and Intuitionistic Linear Processes
par: Jaramillo, Juan C., et autres
Publié: (2024)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

The $K_\infty$ Homotopy $λ$-Model
par: Martínez-Rivillas, Daniel O., et autres
Publié: (2025)

On the complexity of normalization for the planar $λ$-calculus
par: Das, Anupam, et autres
Publié: (2024)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

A Sequent Calculus For Trace Formula Implication
par: Heidler, Niklas, et autres
Publié: (2025)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
par: Hellwig, Jonathan, et autres
Publié: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
par: Cecilia, Gabriele, et autres
Publié: (2024)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
par: Torres-Ruiz, Mateo, et autres
Publié: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
par: Cecilia, Gabriele
Publié: (2025)

Reaching Classicality through Transitive Closure
par: Blomet, Quentin, et autres
Publié: (2025)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

Substitution in the lambda Calculus and the role of the Curry School
par: Kamareddine, Fairouz
Publié: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
par: Genco, Francesco A., et autres
Publié: (2023)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
par: Gao, Han, et autres
Publié: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
par: Fang, Liangda, et autres
Publié: (2024)